DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers.
Colin PatersonHaoze WuJohn GreseRadu CalinescuCorina S. PasareanuClark W. BarrettPublished in: CoRR (2021)
Keyphrases
- neural network
- multiscale
- image analysis
- image classification
- image segmentation
- image pixels
- image data
- input image
- single image
- image features
- segmentation method
- template matching
- image retrieval
- image representation
- image collections
- region of interest
- edge detection
- segmentation algorithm
- test images
- extracted features
- image content
- low level
- model checking
- image regions
- image set
- training samples
- pixel values
- decision trees