Neural Network Robustness as a Verification Property: A Principled Case Study

First Author: Casadio M
Attributed to:  AISEC: AI Secure and Explainable by Construction funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-031-13185-1_11

Publication URI: https://api.elsevier.com/content/abstract/scopus_id/85130815672

Type: Book Chapter

Book Title: Computer Aided Verification - 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I (2022)

Page Reference: 219-231