IEEE - Institute of Electrical and Electronics Engineers, Inc. - Sampling-based temporal logic path planning

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

Author(s): Cristian Ioan Vasile ; Calin Belta
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): 4,817 - 4,822
ISSN (Paper): 2153-0858
DOI: 10.1109/IROS.2013.6697051
Regular:

In this paper, we propose a sampling-based motion planning algorithm that finds an infinite path satisfying a Linear Temporal Logic (LTL) formula over a set of properties satisfied by some regions... View More

Advertisement