Tutorial: Neural Network and Autonomous Cyber-Physical Systems Formal Verification for Trustworthy AI and Safe Autonomy (bibtex)

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

Reference:

Hoang-Dung Tran, Diego Manzanas Lopez and Taylor T. Johnson, "Tutorial: Neural Network and Autonomous Cyber-Physical Systems Formal Verification for Trustworthy AI and Safe Autonomy", In International Conference on Embedded Software (EMSOFT'23), ACM, pp. 1–2, 2023.

Bibtex Entry:

@inproceedings{tran2023emsoft_tutorial,
  title = {Tutorial: Neural Network and Autonomous Cyber-Physical Systems Formal Verification for Trustworthy AI and Safe Autonomy},
  author = {Hoang-Dung Tran and Diego Manzanas Lopez and Taylor T. Johnson},
  year = {2023},
  month = sep,
  booktitle = {International Conference on Embedded Software (EMSOFT'23)},
  pages = {1--2},
  publisher = {ACM},
  doi = {10.1145/3607890.3608454},
  keywords = {tutorial,trustworthy AI,verification},
  publabel = {D9},
  pubtype = {D},
  dblp = {conf/emsoft/TranLJ23},
  pdf = "research/tran2023emsoft_tutorial.pdf",
}