Track manipulation, locomotion and embodied systems.
Search papers, labs, and topics across Lattice.
Latent-space safety filters built on Hamilton-Jacobi reachability often fail catastrophically when world models produce confidently incorrect dynamics that fool standard ensemble-based uncertainty heuristics. To resolve this, the authors develop an adaptive safety filter that tracks online prediction-observation residuals in latent space to construct dynamic uncertainty sets via Adaptive Conformal Inference. Supported by finite-time coverage guarantees, the method minimizes the learned safety value function pessimistically over these sets, significantly cutting safety violations in simulation and hardware while maintaining task performance.
World models can hallucinate safety with near-zero ensemble disagreement, but dynamically bounding latent observation errors via conformal inference stops robot crashes without sacrificing nominal task completion.
World models offer a powerful substrate for safety reasoning in high-dimensional robotic systems, but they are also fallible: their predictions can be biased, miscalibrated, or confidently wrong. This creates a central challenge for latent-space safety filters, which often learn Hamilton-Jacobi safety value functions on the dynamics of a world model. If the world model is incorrect, the resulting value function can inherit its errors and produce overconfident safety estimates. Existing latent safety filters often rely on auxiliary signals such as ensemble disagreement or value-target consistency residuals for adaptation, but these signals can remain small even when the world model's predictions deviate from observations. We propose an adaptive latent safety filter that calibrates safety reasoning using directly observed world-model error. Our method uses Adaptive Conformal Inference to construct online uncertainty sets from discrepancies between predicted and observation-inferred latent states, then evaluates safety pessimistically by minimizing the learned value function over these sets. This allows the filter to remain minimally conservative when the world model is accurate, while becoming more cautious when observations reveal model mismatch. We provide a finite-time coverage guarantee for the adaptive uncertainty radius. Through simulation and hardware experiments, we show that our method significantly reduces failures relative to state-of-the-art latent safety filters while preserving task completion.