Predictive Semantic Safety: From Visual Physical Reasoning to Safety-Critical Control
cs.RO, cs.AI, cs.LG
Submitted: 2026-09-28
Updated: 2026-09-28
Comments: The first two authors contributed equally to this work. Project page: https://www.taekyung.me/pss
Project page: https://www.taekyung.me/pss
License: http://creativecommons.org/licenses/by/4.0/
The gist: Physical interactions can create future hazards that are not apparent from the robot's current geometric surroundings.
Terminology
Abstract
Physical interactions can create future hazards that are not apparent from the robot's current geometric surroundings. We present a framework termed Predictive Semantic Safety (PSS), which connects visual physical reasoning to backup-based safety filtering. A vision-language model (VLM) predicts physical events and their timing or directly predicts object displacements. An explicit motion model converts event hypotheses into object trajectories. Split conformal prediction calibrates position errors jointly across specified objects, observation times, and future times; geometric shape bounds convert the resulting position regions into predicted object occupancy. PSS evaluates a prescribed backup maneuver against this occupancy and derives input-affine constraints for minimally modifying the nominal input while preserving backup feasibility under the robot dynamics and input limits. MuJoCo experiments with a Unitree Go1 consider falling fixtures, impact-driven support loss, and contact propagation. PSS achieves a safe episode rate of 99.3%, compared with 43.3% for a Backup Control Barrier Function baseline that only uses current obstacle geometry.
Sources
- Is Your Safe Controller Actually Safe? A Critical Review of CBF Tautologies and Hidden Assumptions
- V-JEPA 2: Self-Supervised Video Models Enable Understanding, Prediction and Planning
- Learning to Adapt Control Barrier Functions Under Epistemic and Aleatoric Uncertainty
- Policy Library CBF: Finite-Horizon Safety at Runtime via Parallel Rollouts
Related papers
- FMT x: An Efficient and Asymptotically Optimal Extension of the Fast Marching Tree for Dynamic Replanning
- MPCFormer: A physics-informed data-driven approach for explainable socially-aware autonomous driving
- RoboLab: A High-Fidelity Simulation Benchmark for Analysis of Task Generalist Policies
- ARC: A Reasoning Recipe for Robot Foundation Models
- HRDexDB: A 4D Dexterous Grasping Dataset Across Human and Multiple Robot Embodiments
- APT: Action Expert Pretraining Improves Instruction Generalization of Vision-Language-Action Policies