Verisig: verifying safety properties of hybrid systems with neural network controllers
Mastering the game of Go with deep neural networks and tree search