@article{towardsprovableprobabilisticsafetyfor,
  title = {Towards provable probabilistic safety for scalable embodied AI systems},
  author = {Linxuan He and Qing-Shan Jia and Ang Li and Hongyan Sang and Ling Wang and Jiwen Lu and Tao Zhang and Jie zhou and Yi Zhang and Yisen Wang and Peng Wei and Zhongyuan Wang and Henry X. Liu and Shuo Feng},
  year = {2025},
  eprint = {2506.05171},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2506.05171v1},
}