TY  - RPRT
TI  - A Toolbox for Fast Interval Arithmetic in numpy with an Application to Formal Verification of Neural Network Controlled Systems
AU  - Akash Harapanahalli
AU  - Saber Jafarpour
AU  - Samuel Coogan
PY  - 2023
UR  - https://arxiv.org/abs/2306.15340
ID  - 2306.15340
ER  -