Project

General

Profile

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 BakTaylor 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 

Files