From Ambiguous Language to Verifiable Plans: Integrating Formal Synthesis and Dynamic Affordance Reasoning
Translating ambiguous human instructions into verifiable robot actions in semistructured environments requires bridging the semantic–execution gap between high-level intent and formally monitored execution. Existing symbolic planners rely on fixed, manually specified state vocabularies, while learning-based methods off...