PV1 ⊧ Verisigperforms reachability analysis on closed-loop systems with neural network controllers

Tool for verifying safety properties of closed-loop systems with NN controllers.

Application domain/field

• Neural networks
• Safety verification

Internals

They combine ideas from neural network reachability with ideas from hybrid system verification. They approximate neural networks with Taylor models. Moreover, they note that the reachability computation can be parallelised since each neuron in a layer can be analysed independently. Uses Flow*

Comments

The CAV'21 paper refers to a Verisig 2.0 License: GPL v3.0