Paper Accepted to IROS 2016

The paper "A Model for Verifiable Grounding and Execution of Complex Natural Language Instructions" by Adrian Boteanu, Thomas Howard, Jacob Arkin and Hadas Kress-Gazit was accepted to IEEE International Conference on Intelligent Robots and Systems (IROS 2016).