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

Open in new window