Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes

Niklas Kochdumper, Christian Schilling, Matthias Althoff +1

We present a novel approach to efficiently compute tight non-convex enclosures of the image through neural networks with ReLU, sigmoid, or hyperbolic tangent activation functions.…