@misc{indiciaef3570af901fc, title = {Grounding Generative Planners in Verifiable Logic: A Hybrid Architecture for Trustworthy Embodied AI}, author = {Feiyu Wu and Xu Zheng and Yue Qu and Zhuocheng Wang and Zicheng Feng and Hui Li}, year = {2026}, url = {https://arxiv.org/abs/2602.08373}, note = {Source identifier: 2602.08373} }