Sampling-based path planning for multi-robot systems with co-safe linear temporal logic specifications

Title Sampling-based path planning for multi-robot systems with co-safe linear temporal logic specifications
Author
Year of Conference
2017
Volume
10471
Number of Pages
150\textendash164
Publisher
Springer
DOI
https://doi.org/10.1007/978-3-319-67113-0_10
Download citation