TY  - RPRT
TI  - Formal Safety Verification and Refinement for Generative Motion Planners via Certified Local Stabilization
AU  - Devesh Nath
AU  - Haoran Yin
AU  - Glen Chou
PY  - 2025
UR  - https://arxiv.org/abs/2509.19688
ID  - 2509.19688
ER  -