Designing Reactive Robot Controllers with LTLMoP

AAAI Publications, Workshops at the Twenty-Fifth AAAI Conference on Artificial Intelligence

Cameron P. Finucane, Gangyuan Jing, Hadas Kress-Gazit

Last modified: 2011-08-24

Abstract

This paper shows an example application of the LTLMoP mission planning toolkit, in which an Aldebaran Nao and an iRobot Create each play a very basic game of hide-and-seek.

Full Text: PDF