Login / Signup

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

Akash HarapanahalliSaber JafarpourSamuel Coogan
Published in: CoRR (2024)
Keyphrases