@misc{indiciae687583238558,
  title = {Formal Safety Verification and Refinement for Generative Motion Planners via Certified Local Stabilization},
  author = {Devesh Nath and Haoran Yin and Glen Chou},
  year = {2025},
  url = {https://arxiv.org/abs/2509.19688},
  note = {Source identifier: 2509.19688}
}