Hadas Kress-Gazit, George J. Pappas. Automatic synthesis of robot controllers for tasks with locative prepositions. In IEEE International Conference on Robotics and Automation, ICRA 2010, Anchorage, Alaska, USA, 3-7 May 2010. pages 3215-3220, IEEE, 2010. [doi]
Abstract is missing.