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]
@inproceedings{Paterson0GCPB21,
title = {DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers},
author = {Colin Paterson and Haoze Wu 0001 and John Grese and Radu Calinescu and Corina S. Pasareanu and Clark W. Barrett},
year = {2021},
doi = {10.1007/978-3-030-83903-1_5},
url = {https://doi.org/10.1007/978-3-030-83903-1_5},
researchr = {https://researchr.org/publication/Paterson0GCPB21},
cites = {0},
citedby = {0},
pages = {3-17},
booktitle = {Computer Safety, Reliability, and Security - 40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021, Proceedings},
editor = {Ibrahim Habli and Mark Sujan and Friedemann Bitsch},
volume = {12852},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-83903-1},
}