TY  - RPRT
TI  - CEDAR: Automata as Verifiable Interfaces for Language-Guided Embodied Action
AU  - Lekai Chen
AU  - Alvaro Velasquez
AU  - Ashutosh Trivedi
PY  - 2026
UR  - https://arxiv.org/abs/2608.27797
ID  - 2608.27797
ER  -