Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hoang-Dung Tran, Neelanjana Pal, Patrick Musau, Diego Manzanas Lopez, Nathaniel Hamilton, Xiaodong Yang, Stanley Bak, Taylor T. Johnson. Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability. In Alexandra Silva 0001, K. Rustan M. Leino, editors, Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I. Volume 12759 of Lecture Notes in Computer Science, pages 263-286, Springer, 2021. [doi]

This author has not been identified. Look up 'Hoang-Dung Tran' in GoogleThis author has not been identified. Look up 'Neelanjana Pal' in GoogleThis author has not been identified. Look up 'Patrick Musau' in GoogleThis author has not been identified. Look up 'Diego Manzanas Lopez' in GoogleThis author has not been identified. Look up 'Nathaniel Hamilton' in GoogleThis author has not been identified. Look up 'Xiaodong Yang' in GoogleThis author has not been identified. Look up 'Stanley Bak' in GoogleThis author has not been identified. Look up 'Taylor T. Johnson' in Google

runs on WebDSL