Parallel Differentiable Reachability for Learning and Planning with Certified Neural Dynamics and Controllers

Keyi Shen; Glen Chou · RSS 2026 · 2026