Reachability-based Trajectory Design via Exact Formulation of Implicit Neural Signed Distance Functions

Jonathan Michaux, Qingyi Chen, Challen Enninful Adu +2

Generating receding-horizon motion trajectories for autonomous vehicles in real-time while also providing safety guarantees is challenging. This is because a future trajectory need…