DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers.

Colin Paterson, Haoze Wu, John Grese, Radu Calinescu, Corina S. Pasareanu, Clark W. Barrett

Browse the full SAFECOMP paper archive.