immrax: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX
Conference Proceeding
Overview
publication date
- July 1, 2024
Date in CU Experts
- December 31, 2024 9:53 AM
Full Author List
- Harapanahalli A; Jafarpour S; Coogan S
author count
- 3
citation count
- 0
published in
presented at event
Other Profiles
International Standard Serial Number (ISSN)
- 2405-8963
Digital Object Identifier (DOI)
Additional Document Info
start page
- 75
end page
- 80
volume
- 58
issue
- 11