作者位次 #5/17NeurIPS 2026Poster
SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents
Simon Zhan · Philip Wang · Yao Liu · Yiyan Peng · Yiqi Lyu · Zinan Wang · Qineng Wang · Zhian Ruan · Xiangyu Shi · Xinyu Cao · Frank Yang · Zhenyang Ni · Kangrui Wang · Ruohan Zhang · Huajie Shao · Manling Li · Qi Zhu