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

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

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://link.springer.com/chapter/10.1007/978-3-031-13185-1_11

Type: Conference/Paper/Proceeding/Abstract

Volume: Lecture Notes in Computer Science 13371