A Toolbox for Fast Interval Arithmetic in numpy with an Application to Formal Verification of Neural Network Controlled Systems

[pdf] Appeared in 2nd Workshop on Formal Verification of Machine Learning (WFVML), 2023

Akash Harapanahalli, Saber Jafarpour, Samuel Coogan, "A Toolbox for Fast Interval Arithmetic in numpy with an Application to Formal Verification of Neural Network Controlled Systems." Appeared in 2nd Workshop on Formal Verification of Machine Learning (WFVML), 2023. https://www.ml-verification.com/accepted-papers#h.oidazcbmc48p