CEDAR: Automata as Verifiable Interfaces for Language-Guided Embodied Action
DGX agentarXiv:2608.27797v1 Announce Type: cross Abstract: Natural-language tasking of embodied agents is rarely just goal specification: users also impose constraints that must persist while the world changes