Verification of Neural Network Control Systems using Symbolic Zonotopes and Polynotopes

Carlos Trapiello, Christophe Combastel, Ali Zolghadri

Verification and safety assessment of neural network controlled systems (NNCSs) is an emerging challenge. To provide guarantees, verification tools must efficiently capture the int…