Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability.
Hoang-Dung TranNeelanjana PalPatrick MusauDiego Manzanas LopezNathaniel HamiltonXiaodong YangStanley BakTaylor T. JohnsonPublished in: CAV (1) (2021)
Keyphrases
- semantic segmentation
- street scenes
- label transfer
- conditional random fields
- superpixels
- weakly supervised
- scene classification
- pascal voc
- object classes
- object categories
- object class
- state space
- image set
- bounding box
- multiscale
- graph structure
- object recognition
- pixel level
- object segmentation
- natural images
- higher order
- computer vision