Towards provable probabilistic safety for scalable embodied AI systems

Linxuan He, Lingxiang Fan, Qing-Shan Jia +13

Embodied AI systems, comprising AI models and physical plants, are increasingly prevalent across various applications. Due to the rarity of system failures, ensuring their safety i…