5 papers
-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 fixe…
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,…
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…
NeSyPack: A Neuro-Symbolic Framework for Bimanual Logistics Packing
Bowei Li, Peiqi Yu, Zhenran Tang +4
This paper presents NeSyPack, a neuro-symbolic framework for bimanual logistics packing. NeSyPack combines data-driven models and symbolic reasoning to build an explainable hierarc…
Learn With Imagination: Safe Set Guided State-wise Constrained Policy Optimization
Yifan Sun, Feihan Li, Weiye Zhao +3
Deep reinforcement learning (RL) excels in various control tasks, yet the absence of safety guarantees hampers its real-world applicability. In particular, explorations during lear…