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

Published in International Conference on Computer Safety, Reliability and Security (SafeComp'21), 2021