DeepSDP is a reachability analysis tool for neural networks based on Quadratic Constraints and Semidefinite Programming.
-
Mahyar Fazlyab, Manfred Morari, George J. Pappas, "Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming"
-
Mahyar Fazlyab, Manfred Morari, George J. Pappas, "Probabilistic Verification and Reachability Analysis of Neural Networks via Semidefinite Programming, CDC 2019" (arXiv link)