Tutorial: Safe, Secure, and Trustworthy Artificial Intelligence (AI) via Formal Verification of Neural Networks and Autonomous Cyber-Physical Systems (CPS) with NNV (bibtex)

by Taylor T. Johnson, Hoang-Dung Tran and Diego Manzanas Lopez

Reference:

Taylor T. Johnson, Hoang-Dung Tran and Diego Manzanas Lopez, "Tutorial: Safe, Secure, and Trustworthy Artificial Intelligence (AI) via Formal Verification of Neural Networks and Autonomous Cyber-Physical Systems (CPS) with NNV", In 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'24), IEEE/IFIP, pp. 65–66, 2024.

Bibtex Entry:

@inproceedings{johnson2024dsn_tutorial,
  title = {Tutorial: Safe, Secure, and Trustworthy Artificial Intelligence (AI) via Formal Verification of Neural Networks and Autonomous Cyber-Physical Systems (CPS) with NNV},
  author = {Taylor T. Johnson and Hoang-Dung Tran and Diego Manzanas Lopez},
  year = {2024},
  month = jun,
  booktitle = {54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'24)},
  pages = {65--66},
  publisher = {IEEE/IFIP},
  doi = {10.1109/DSN-S60304.2024.00027},
  keywords = {tutorial,trustworthy AI,verification},
  publabel = {D11},
  pubtype = {D},
  dblp = {conf/dsn/JohnsonLT24},
  s2id = {272219746},
  pdf = "research/johnson2024dsn_tutorial.pdf",
}