DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers. - Colin Paterson; Haoze Wu 001; John Grese; Radu Calinescu; Corina S. Pasareanu; Clark W. Barrett (SAFECOMP, 2021)