Probabilistic Verification and Reachability Analysis of Neural Networks via Semidefinite Programming

January 19th, 2021