Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability (bibtex)

by Hoang-Dung Tran, Neelanjana Pal, Patrick Musau, Diego Manzanas Lopez, Nathaniel Hamilton, Xiaodong Yang, Stanley Bak and Taylor T. Johnson

Reference:

Hoang-Dung Tran, Neelanjana Pal, Patrick Musau, Diego Manzanas Lopez, Nathaniel Hamilton, Xiaodong Yang, Stanley Bak and Taylor T. Johnson, "Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability", In 33rd International Conference on Computer-Aided Verification (CAV'21), Springer, pp. 263–283, 2021.

Bibtex Entry:

@inproceedings{tran2021cav,
  title = {Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability},
  author = {Hoang-Dung Tran and Neelanjana Pal and Patrick Musau and Diego Manzanas Lopez and Nathaniel Hamilton and Xiaodong Yang and Stanley Bak and Taylor T. Johnson},
  year = {2021},
  month = jul,
  booktitle = {33rd International Conference on Computer-Aided Verification (CAV'21)},
  volume = {12759},
  pages = {263--283},
  publisher = {Springer},
  doi = {10.1007/978-3-030-81685-8_12},
  publabel = {C31},
  pubtype = {C},
  dblp = {conf/cav/TranPMLHYBJ21},
  s2id = {235602343},
  pdf = "research/tran2021cav.pdf",
}