$\lambda$-Reachability: Geometric-Horizon Safety Bellman Equations for Humanoid Safety

Rui Chen, Shangtao Li, Yifan Sun +1

We introduce $\lambda$-Reachability, a scalable approach to Hamilton--Jacobi safety analysis for high-dimensional robotic systems. Unlike prior discounted formulations that rely on fixed…