@article{atoolboxforfastintervalarithmeticin,
  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},
  eprint = {2306.15340},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2306.15340v1},
}