TY  - RPRT
TI  - Probabilistic Verification and Reachability Analysis of Neural Networks via Semidefinite Programming
AU  - Mahyar Fazlyab
AU  - Manfred Morari
AU  - George J. Pappas
PY  - 2019
UR  - https://arxiv.org/abs/1910.04249
ID  - 1910.04249
ER  -