Verisig: verifying safety properties of hybrid systems with neural network controllers
Intriguing properties of neural networks