Designing Reactive Robot Controllers with LTLMoP

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.