Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops

27 July 2023

Papers citing "Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops"

7 / 7 papers shown

Title
Neural Network-assisted Interval Reachability for Systems with Control Barrier Function-Based Safe Controllers Damola Ajeyemi Saber Jafarpour Emiliano DallÁnese 23 0 0 11 Apr 2025
Certified Training with Branch-and-Bound: A Case Study on Lyapunov-stable Neural Control Zhouxing Shi Cho-Jui Hsieh Huan Zhang 65 0 0 27 Nov 2024
Certified Robust Invariant Polytope Training in Neural Controlled ODEs Akash Harapanahalli Samuel Coogan 28 2 0 02 Aug 2024
$$\texttt{immrax}$: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX$ $\texttt{immrax}$ : A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX Akash Harapanahalli Saber Jafarpour Samuel Coogan 14 1 0 21 Jan 2024
Forward Invariance in Neural Network Controlled Systems Akash Harapanahalli Saber Jafarpour Samuel Coogan 14 4 0 16 Sep 2023
ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds Taha Entesari Sina Sharifi Mahyar Fazlyab 22 6 0 01 Nov 2022
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 222 1,818 0 03 Feb 2017