Cameron Finucane, Gangyuan Jing, Hadas Kress-Gazit. Designing Reactive Robot Controllers with LTLMoP. In Automated Action Planning for Autonomous Mobile Robots, Papers from the 2011 AAAI Workshop, San Francisco, California, USA, August 7, 2011. Volume WS-11-09 of AAAI Workshops, AAAI, 2011. [doi]
Abstract is missing.