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

Colin Paterson, Haoze Wu, John Grese +3

We introduce DeepCert, a tool-supported method for verifying the robustness of deep neural network (DNN) image classifiers to contextually relevant perturbations such as blur, haze…