Robustness Verification of Semantic Segmentation Neural Networks using Relaxed Reachability

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

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

Reference:

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

Bibtex Entry:

@InProceedings{tran2021cav,
  author = "Hoang-Dung Tran and Neelanjana Pal and Patrick Musau and Xiaodong Yang and Nathaniel P. Hamilton and Diego Manzanas Lopez and Stanley Bak and Taylor T. Johnson",
  title = "Robustness Verification of Semantic Segmentation Neural Networks using Relaxed Reachability",
  booktitle = "33rd International Conference on Computer-Aided Verification (CAV)",
  year = "2021",
  month = "July",
  publisher = "Springer",
  pdf = "research/tran2021cav.pdf",
}