TY  - RPRT
TI  - Reach-SDP: Reachability Analysis of Closed-Loop Systems with Neural Network Controllers via Semidefinite Programming
AU  - Haimin Hu
AU  - Mahyar Fazlyab
AU  - Manfred Morari
AU  - George J. Pappas
PY  - 2020
UR  - https://arxiv.org/abs/2004.07876
ID  - 2004.07876
ER  -