Mahyar Fazlyab, Manfred Morari, George J. Pappas. Probabilistic Verification and Reachability Analysis of Neural Networks via Semidefinite Programming. In 58th IEEE Conference on Decision and Control, CDC 2019, Nice, France, December 11-13, 2019. pages 2726-2731, IEEE, 2019. [doi]
Abstract is missing.