Formal Safety Verification and Refinement for Generative Motion Planners via Certified Local Stabilization

Open in new window