@misc{indiciae4de518195561,
  title = {DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers},
  author = {Colin Paterson and Haoze Wu and John Grese and Radu Calinescu and Corina S. Pasareanu and Clark Barrett},
  year = {2021},
  url = {https://arxiv.org/abs/2103.01629},
  note = {Source identifier: 2103.01629}
}