2026
Formal Safety Verification and Refinement for Generative Motion Planners Via Certified Local Stabilization
ICRA 2026poster
We present a method for formal safety verification of learning-based generative motion planners. Generative motion planners (GMPs) offer advantages over traditional planners, but verifying the safety and dynamic feasibility of their outputs is difficult since neural network verification (NNV) tools …