Login / Signup
immrax: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX.
Akash Harapanahalli
Saber Jafarpour
Samuel Coogan
Published in:
CoRR (2024)
Keyphrases
</>
interval analysis
constrained optimization
autocalibration
constraint propagation
objective function
fuzzy set theory
state space
interval arithmetic
three dimensional
rough sets
multi view
constraint satisfaction