Pixels to Proofs: Probabilistically-Safe Latent World Model Control via Parallel Conformal Robust MPC
Researchers have developed SLS^2, a novel framework for safe motion planning that utilizes robust model predictive control (MPC) within learned latent world models. This approach trains an action-conditioned world model with compact latent states, allowing for efficient trajectory optimization. To ensure system safety despite prediction inaccuracies, the framework incorporates conformal prediction to establish calibrated latent error bounds and robust constraint sets, which are then used by a GPU-accelerated MPC scheme. Additionally, a learned and conformalized latent constraint checker is employed to enforce probabilistic safety during closed-loop execution, demonstrating improved goal-reaching performance and safety in vision-based control tasks compared to existing methods. AI