Towards provable probabilistic safety for scalable embodied AI systems
迈向可证明的可扩展具身AI系统的概率安全
机构 * Department of Automation, Tsinghua University(清华大学自动化系) ; Beijing Academy of Artificial Intelligence(北京人工智能研究院) ; School of Intelligence Science and Technology, Peking University(北京大学智能科学与技术学院) ; School of Computer, Liaocheng University(聊城大学计算机学院) ; Department of Automation, Southeast University(东南大学自动化学院) ; Department of Mechanical and Aerospace Engineering, George Washington University(乔治华盛顿大学机械与航空航天工程系) ; University of Michigan Transportation Research Institute(密歇根大学交通研究所) ; Department of Civil and Environmental Engineering, University of Michigan(密歇根大学土木与环境工程系)
AI总结 本文提出可证明的概率安全范式,旨在解决具身AI系统在复杂环境中安全验证的挑战,通过结合可证明保证与渐进式达成概率安全边界,提升系统可行性和可扩展性。