Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2401.11608
Cited By
v1
v2 (latest)
immrax
\texttt{immrax}
immrax
: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX
IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), 2024
21 January 2024
Akash Harapanahalli
Saber Jafarpour
Samuel Coogan
Re-assign community
ArXiv (abs)
PDF
HTML
Github
Papers citing
"$\texttt{immrax}$: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX"
1 / 1 papers shown
Certified Robust Invariant Polytope Training in Neural Controlled ODEs
Akash Harapanahalli
Samuel Coogan
354
6
0
02 Aug 2024
1
Page 1 of 1
