Code for paper "Mixed Monotonicity Reachability Analysis of Neural ODE: A Trade-Off Between Tightness and Efficiency"
-
Updated
Oct 27, 2025 - MATLAB
Code for paper "Mixed Monotonicity Reachability Analysis of Neural ODE: A Trade-Off Between Tightness and Efficiency"
RTD-RAX: fast, safe trajectory planning for systems under unknown disturbances. Uses mixed-monotone reachability to certify and repair planned trajectories online, extending Reachability-based Trajectory Design with runtime safety assurance that handles real-world uncertainty.
Add a description, image, and links to the mixed-monotonicity topic page so that developers can more easily learn about it.
To associate your repository with the mixed-monotonicity topic, visit your repo's landing page and select "manage topics."