Verisig: verifying safety properties of hybrid systems with neural network controllers
Output Range Analysis for Deep Feedforward Neural Networks