DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Colin Paterson' in GoogleThis author has not been identified. Look up 'Haoze Wu 0001' in GoogleThis author has not been identified. Look up 'John Grese' in GoogleThis author has not been identified. It may be one of the following persons:

Radu Calinescu

Look up 'Radu Calinescu' in GoogleThis author has not been identified. Look up 'Corina S. Pasareanu' in GoogleThis author has not been identified. Look up 'Clark W. Barrett' in Google

runs on WebDSL