immrax: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX

[pdf] Preprint Conference Paper at arXiv, 2024

Akash Harapanahalli, Saber Jafarpour, Samuel Coogan, "`immrax`: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX." Preprint Conference Paper at arXiv, 2024.