Verisig: verifying safety properties of hybrid systems with neural network controllers
Output Reachable Set Estimation and Verification for Multilayer Neural Networks