TY  - RPRT
TI  - RoboSafe: Safeguarding Embodied Agents via Executable Safety Logic
AU  - Le Wang
AU  - Zonghao Ying
AU  - Xiao Yang
AU  - Quanchen Zou
AU  - Zhenfei Yin
AU  - Tianlin Li
AU  - Jian Yang
AU  - Yaodong Yang
AU  - Aishan Liu
AU  - Xianglong Liu
PY  - 2025
UR  - https://arxiv.org/abs/2512.21220
ID  - 2512.21220
ER  -