Hierarchical multi-robot strategies synthesis and optimization under individual and collaborative temporal logic specifications
This paper presents a hierarchical framework for multi-robot temporal logic task planning. We assume that each robot has its individual task specification and the robots have to jointly satisfy a global collaborative task specification, both described in finite linear temporal logic. To reduce the o...
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Elsevier B.V.
2022
|
| Subjects: | |
| Online Access: | View Fulltext in Publisher |