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

Font Size: 
Designing Reactive Robot Controllers with LTLMoP
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