@misc{indiciae60ace9178839,
  title = {A Toolbox for Fast Interval Arithmetic in numpy with an Application to Formal Verification of Neural Network Controlled Systems},
  author = {Akash Harapanahalli and Saber Jafarpour and Samuel Coogan},
  year = {2023},
  url = {https://arxiv.org/abs/2306.15340},
  note = {Source identifier: 2306.15340}
}