TY  - RPRT
TI  - Grounding Generative Planners in Verifiable Logic: A Hybrid Architecture for Trustworthy Embodied AI
AU  - Feiyu Wu
AU  - Xu Zheng
AU  - Yue Qu
AU  - Zhuocheng Wang
AU  - Zicheng Feng
AU  - Hui Li
PY  - 2026
UR  - https://arxiv.org/abs/2602.08373
ID  - 2602.08373
ER  -