Benchmark: formal verification of semantic segmentation neural networks (bibtex)

by Neelanjana Pal, Seojin Lee and Taylor T. Johnson

Reference:

Neelanjana Pal, Seojin Lee and Taylor T. Johnson, "Benchmark: formal verification of semantic segmentation neural networks", In 1st International Conference on Bridging the Gap between AI and Reality (AISoLA'23), Springer, pp. 311–330, 2023.

Bibtex Entry:

@inproceedings{pal2023aisola,
  title = {Benchmark: formal verification of semantic segmentation neural networks},
  author = {Neelanjana Pal and Seojin Lee and Taylor T. Johnson},
  year = {2023},
  month = oct,
  booktitle = {1st International Conference on Bridging the Gap between AI and Reality (AISoLA'23)},
  pages = {311--330},
  publisher = {Springer},
  doi = {10.1007/978-3-031-46002-9_20},
  keywords = {Semantic Segmentation,Adversarial Attack,Benchmark,Reachability,Robustness},
  publabel = {OC17},
  pubtype = {OC},
  dblp = {conf/vecos/PalLJ23},
}