Reach-SDP: Reachability Analysis of Closed-Loop Systems with Neural Network Controllers via Semidefinite Programming
Haimin Hu, Mahyar Fazlyab, M. Morari, George Pappas
IEEE Conference on Decision and Control