3 papers
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…
eess.SY2026
Scalable Data-Driven Reachability Analysis and Control via Koopman Operators with Conformal Coverage Guarantees
Devesh Nath, Haoran Yin, Glen Chou
We propose a scalable reachability-based framework for probabilistic, data-driven safety verification of unknown nonlinear dynamics. We use Koopman theory with a neural network (NN…
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…