Description
This capsule reproduces the results presented in the paper "Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes".
| Date made available | 2022 |
|---|---|
| Publisher | Code Ocean |
Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes
- Niklas Kochdumper (Creator)
- Christian Schilling (Creator)
- Matthias Althoff (Creator)
- Stanley Bak (Creator)
Dataset