@misc{indiciaeca8f3493c8b4,
  title = {SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents},
  author = {Simon Sinong Zhan and Philip Wang and Yao Liu and Yiyan Peng and Zinan Wang and Qineng Wang and Zhian Ruan and Xiangyu Shi and Xinyu Cao and Frank Yang and Zhenyang Ni and Kangrui Wang and Ruohan Zhang and Huajie Shao and Manling Li and Qi Zhu},
  year = {2026},
  url = {https://arxiv.org/abs/2510.12985},
  note = {Source identifier: 2510.12985}
}