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

Adrian Boteanu, Thomas M. Howard, Jacob Arkin, Hadas Kress-Gazit. A model for verifiable grounding and execution of complex natural language instructions. In 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2016, Daejeon, South Korea, October 9-14, 2016. pages 2649-2654, IEEE, 2016. [doi]

Abstract

Abstract is missing.