Robustness Verification of Semantic Segmentation Neural Networks using Relaxed Reachability
Paper
06/14/2021
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. http://www.taylortjohnson.com/research/tran2021cav.pdf