Benchmark: Formal Verification of Semantic Segmentation Neural Networks.
Neelanjana PalSeojin LeeTaylor T. JohnsonPublished in: AISoLA (2023)
Keyphrases
- formal verification
- semantic segmentation
- street scenes
- model checking
- label transfer
- superpixels
- conditional random fields
- scene classification
- weakly supervised
- object categories
- pascal voc
- object classes
- object class
- bag of words
- image understanding
- object recognition
- image set
- computer vision
- visual words
- image representation
- level set
- viewpoint
- multiscale