Designing Reactive Robot Controllers with LTLMoP
Finucane, Cameron P. (Cornell University) | Jing, Gangyuan (Cornell University) | Kress-Gazit, Hadas (Cornell University)
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.
Aug-8-2011