2026
Parallel Differentiable Reachability for Learning and Planning with Certified Neural Dynamics and Controllers
RSS 2026poster
Neural network (NN) dynamics models and control policies achieve strong performance in robotics, but providing sound guarantees under uncertainty is difficult, especially when the NNs are components within the closed-loop system. Existing reachability tools offer formal over-approximations, yet are …