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

作者: Keyi Shen, Glen Chou