TY  - RPRT
TI  - SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents
AU  - Simon Sinong Zhan
AU  - Philip Wang
AU  - Yao Liu
AU  - Yiyan Peng
AU  - Zinan Wang
AU  - Qineng Wang
AU  - Zhian Ruan
AU  - Xiangyu Shi
AU  - Xinyu Cao
AU  - Frank Yang
AU  - Zhenyang Ni
AU  - Kangrui Wang
AU  - Ruohan Zhang
AU  - Huajie Shao
AU  - Manling Li
AU  - Qi Zhu
PY  - 2026
UR  - https://arxiv.org/abs/2510.12985
ID  - 2510.12985
ER  -