Track C1: Safety Verification of Deep Neural Networks (DNNs) (bibtex)

Reference:

Daniel Neider and Taylor T. Johnson, "Track C1: Safety Verification of Deep Neural Networks (DNNs)", In 1st International Conference on Bridging the Gap between AI and Reality (AISoLA'23), Springer, pp. 217–224, 2023.

Bibtex Entry:

@inproceedings{neider2023aisola,
  title = {Track C1: Safety Verification of Deep Neural Networks (DNNs)},
  author = {Daniel Neider and Taylor T. Johnson},
  year = {2023},
  month = oct,
  booktitle = {1st International Conference on Bridging the Gap between AI and Reality (AISoLA'23)},
  pages = {217--224},
  publisher = {Springer},
  doi = {10.1007/978-3-031-46002-9_12},
  keywords = {Formal Verification, Formal Methods, Neural Networks,Safety of Autonomy},
  publabel = {E2},
  pubtype = {E},
  dblp = {conf/vecos/NeiderJ23},
  s2id = {266845072},
}