Optimality and Robustness in Multi-Robot Path Planning with Temporal Logic Constraints

Optimality and Robustness in Multi-Robot Path Planning with Temporal Logic Constraints

In this paper we present a method for automatic planning of optimal paths for a group of robots that satisfy a common high-level mission specification. The motion of each robot is modeled as a weighted transition system, and the mission is given as a linear temporal logic (LTL) formula over a set of...

Full description

Bibliographic Details
Main Authors: Ulusoy, Alphan, Smith, Stephen L, Ding, Xu Chu, Belta, Calin, Rus, Daniela
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format: Article
Language:English
Published: SAGE Publications 2021
Online Access:https://hdl.handle.net/1721.1/134287

Internet

https://hdl.handle.net/1721.1/134287

Similar Items