3 citations · 6 across the 11 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
cs.RO2026
-Reachability: Geometric-Horizon Safety Bellman Equations for Humanoid Safety
Rui Chen, Shangtao Li, Yifan Sun +1
We introduce -Reachability, a scalable approach to Hamilton--Jacobi safety analysis for high-dimensional robotic systems. Unlike prior discounted formulations that rely on fixed…
cs.RO2026
Learning Safe-Stoppability Monitors for Humanoid Robots
Yifan Sun, Yiyuan Pan, Shangtao Li +4
Emergency stop (E-stop) mechanisms are the de facto standard for robot safety. However, for humanoid robots, abruptly cutting power can itself cause catastrophic failures; instead,…
eess.SY2026
Contingency Planning for Safety-Critical Autonomous Vehicles: A Review and Perspectives
Lei Zheng, Luyao Zhang, Peiqi Yu +4
Contingency planning is the architectural capability that enables autonomous vehicles (AVs) to anticipate and mitigate discrete, high-impact hazards, such as sensor outages and adv…