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...
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
SAGE Publications,
2021-10-27T20:04:20Z.
|
| Subjects: | |
| Online Access: | Get fulltext |