Empirical analysis of benchmark generation for the verification of neural network image classifiers (bibtex)

by Diego Manzanas Lopez and Taylor T. Johnson

Reference:

Diego Manzanas Lopez and Taylor T. Johnson, "Empirical analysis of benchmark generation for the verification of neural network image classifiers", In 1st International Conference on Bridging the Gap between AI and Reality (AISoLA'23), Springer, pp. 331–347, 2023.

Bibtex Entry:

@inproceedings{lopez2023aisola,
  title = {Empirical analysis of benchmark generation for the verification of neural network image classifiers},
  author = {Diego Manzanas Lopez and Taylor T. Johnson},
  year = {2023},
  month = oct,
  booktitle = {1st International Conference on Bridging the Gap between AI and Reality (AISoLA'23)},
  pages = {331--347},
  publisher = {Springer},
  doi = {10.1007/978-3-031-46002-9_21},
  keywords = {Formal Verification,Medical Imaging,Deep Learning,Reachability Analysis},
  publabel = {OC15},
  pubtype = {OC},
  dblp = {conf/vecos/LopezJ23},
}