TY  - RPRT
TI  - DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers
AU  - Colin Paterson
AU  - Haoze Wu
AU  - John Grese
AU  - Radu Calinescu
AU  - Corina S. Pasareanu
AU  - Clark Barrett
PY  - 2021
UR  - https://arxiv.org/abs/2103.01629
ID  - 2103.01629
ER  -