Radoslav Ivanov

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

2018 · arXiv (Cornell University)

This paper presents Verisig, a hybrid system approach to verifying safety properties of closed-loop systems using neural networks as controllers. Although techniques exist for verifying input/output properties of the neural network itself, these methods cannot …