TY  - RPRT
TI  - Parallel Differentiable Reachability for Learning and Planning with Certified Neural Dynamics and Controllers
AU  - Keyi Shen
AU  - Glen Chou
PY  - 2026
UR  - https://arxiv.org/abs/2605.25346
ID  - 2605.25346
ER  -