Akash Harapanahalli

1. A Toolbox for Fast Interval Arithmetic in numpy with an Application to Formal Verification of Neural Network Controlled Systems
   2023/06/27 by Akash Harapanahalli, Saber Jafarpour, Harapanahalli, Akash +3 · 2 citations
   Computer Science · Physics and Astronomy · #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Machine Learning (cs.LG) #Model Reduction and Neural Networks #Neural Networks and Applications #Numerical Methods and Algorithms #Optimization and Control (math.OC) #Systems and Control (eess.SY) #electronic engineering #information engineering
2. Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers
   2023/01/19 by Saber Jafarpour, Jafarpour, Saber, Akash Harapanahalli +3 · 1 citation
   Computer Science · Engineering · Physics and Astronomy · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Machine Learning (cs.LG) #Model Reduction and Neural Networks #Optimization and Control (math.OC) #Real-time simulation and control systems #Systems and Control (eess.SY) #electronic engineering #information engineering
3. Interval Signal Temporal Logic from Natural Inclusion Functions
   2023/09/19 by Luke Baird, Baird, Luke, Akash Harapanahalli +3 · 1 citation
   Computer Science · #FOS: Electrical engineering #Formal Methods in Verification #Systems and Control (eess.SY) #electronic engineering #information engineering
4. immrax: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX
   2024/01/21 by Akash Harapanahalli, Saber Jafarpour, Harapanahalli, Akash +3 · 3 citations
   Physics and Astronomy · #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Machine Learning (cs.LG) #Model Reduction and Neural Networks #Optimization and Control (math.OC) #Systems and Control (eess.SY) #electronic engineering #information engineering