Simon Sinong Zhan, Yao Liu, Philip Wang, Zinan Wang, Qineng Wang, Zhian Ruan, Xiangyu Shi, Xinyu Cao, Frank Yang, Kangrui Wang, Huajie Shao, Manling Li, Qi Zhu: SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of LLM-based Embodied Agents. CoRR abs/2510.12985 (2025)