Contingency-Aware Planning via Certified Neural Hamilton-Jacobi Reachability

Kasidit Muenprasitivej, Derya Aksaray

Hamilton-Jacobi (HJ) reachability provides formal safety guarantees for dynamical systems, but solving high-dimensional HJ partial differential equations limits its use in real-tim…