TY - RPRT TI - Towards provable probabilistic safety for scalable embodied AI systems AU - Linxuan He AU - Lingxiang Fan AU - Qing-Shan Jia AU - Ang Li AU - Hongyan Sang AU - Ling Wang AU - Guanghui Wen AU - Jiwen Lu AU - Tao Zhang AU - Jie Zhou AU - Yi Zhang AU - Yisen Wang AU - Peng Wei AU - Zhongyuan Wang AU - Henry X. Liu AU - Shuo Feng PY - 2026 UR - https://arxiv.org/abs/2506.05171 ID - 2506.05171 ER -