TY  - RPRT
TI  - Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming
AU  - Mahyar Fazlyab
AU  - Manfred Morari
AU  - George J. Pappas
PY  - 2021
UR  - https://arxiv.org/abs/1903.01287
ID  - 1903.01287
ER  -