Colin Paterson, Haoze Wu 0001, John Grese, Radu Calinescu, Corina S. Pasareanu, Clark W. Barrett. DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers. In Ibrahim Habli, Mark Sujan, Friedemann Bitsch, editors, Computer Safety, Reliability, and Security - 40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021, Proceedings. Volume 12852 of Lecture Notes in Computer Science, pages 3-17, Springer, 2021. [doi]