A model for verifiable grounding and execution of complex natural language instructions.

Adrian Boteanu, Thomas M. Howard, Jacob Arkin, Hadas Kress-Gazit

Browse the full IROS paper archive.