Verisig: Verifying safety properties of hybrid systems with neural network controllers

January 19th, 2021