Mixed Monotonicity Reachability Analysis of Neural ODE: A Trade-Off Between Tightness and Efficiency
This paper proposes a novel, computationally efficient interval-based reachability analysis method for Neural ODEs that leverages continuous-time mixed monotonicity to trade off tightness for scalability, making it particularly suitable for high-dimensional and safety-critical real-time applications.