TY  - RPRT
TI  - Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes
AU  - Niklas Kochdumper
AU  - Christian Schilling
AU  - Matthias Althoff
AU  - Stanley Bak
PY  - 2023
DO  - 10.1007/978-3-031-33170-1_2
UR  - https://arxiv.org/abs/2207.02715
ID  - 2207.02715
ER  -