IEEE - Institute of Electrical and Electronics Engineers, Inc. - Provably-correct robot control with LTLMoP, OMPL and ROS

2013 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2013)

Author(s): Kai Weng Wong ; Cameron Finucane ; Hadas Kress-Gazit
Sponsor(s): IEEE Ind. Electron. Soc.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 November 2013
Conference Location: Tokyo, Japan
Conference Date: 3 November 2013
Page(s): 2,073
ISSN (Paper): 2153-0858
DOI: 10.1109/IROS.2013.6696636
Regular:

This paper illustrates the Linear Temporal Logic MissiOn Planning (LTLMoP) toolkit. LTLMoP is an open source software package that transforms high-level specifications for robot behavior, captured... View More

Advertisement