Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems. - Akash Harapanahalli; Saber Jafarpour; Samuel Coogan 001 (CDC, 2023)

Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers. - Saber Jafarpour; Akash Harapanahalli; Samuel Coogan 001 (L4DC, 2023)

A Toolbox for Fast Interval Arithmetic in numpy with an Application to Formal Verification of Neural Network Controlled Systems. - Akash Harapanahalli; Saber Jafarpour; Samuel Coogan 001 (CoRR, 2023)

Interval Signal Temporal Logic From Natural Inclusion Functions. - Luke Baird; Akash Harapanahalli; Samuel Coogan 001 (IEEE Control. Syst. Lett., 2023)

Forward Invariance in Neural Network Controlled Systems. - Akash Harapanahalli; Saber Jafarpour; Samuel Coogan 001 (IEEE Control. Syst. Lett., 2023)

immrax: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX. - Akash Harapanahalli; Saber Jafarpour; Samuel Coogan 001 (ADHS, 2024)

Efficient Reachable Sets on Lie Groups Using Lie Algebra Monotonicity and Tangent Intervals. - Akash Harapanahalli; Samuel Coogan 001 (CDC, 2024)

Certified Robust Invariant Polytope Training in Neural Controlled ODEs. - Akash Harapanahalli; Samuel Coogan 001 (CoRR, 2024)

A Linear Differential Inclusion for Contraction Analysis to Known Trajectories. - Akash Harapanahalli; Samuel Coogan 001 (CoRR, 2024)

Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops. - Saber Jafarpour; Akash Harapanahalli; Samuel Coogan 001 (IEEE Trans. Autom. Control., 2024)

A Global Coordinate-Free Approach to Invariant Contraction on Homogeneous Manifolds. - Akash Harapanahalli; Samuel Coogan 001 (ACC, 2025)

Automatic and Scalable Safety Verification Using Interval Reachability With Subspace Sampling. - Brendan T. Gould; Akash Harapanahalli; Samuel Coogan 001 (IEEE Control. Syst. Lett., 2025)

Parametric Reachable Sets Via Controlled Dynamical Embeddings. - Akash Harapanahalli; Samuel Coogan 001 (CoRR, 2025)