Designing reactive robot controllers with LTLMoP

摘要

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.