Showing cs.ROShow all
2 papers · 1 filter
cs.RO2026
Pixels to Proofs: Probabilistically-Safe Latent World Model Control via Parallel Conformal Robust MPC
Devesh Nath, Anutam Srinivasan, Haoran Yin +3
We present SLS^2, a framework for safe feedback motion planning from pixels using robust model predictive control (MPC) in learned latent world models. Our approach trains an actio…
cs.RO2025
Formal Safety Verification and Refinement for Generative Motion Planners via Certified Local Stabilization
Devesh Nath, Haoran Yin, Glen Chou
We present a method for formal safety verification of learning-based generative motion planners. Generative motion planners (GMPs) offer advantages over traditional planners, but v…