Title | Sampling-based path planning for multi-robot systems with co-safe linear temporal logic specifications |
Publication Type | Conference Proceedings |
Year of Conference | 2017 |
Authors | Montana, F. J., J. Liu, and T. J. Dodd |
Conference Name | Critical Systems: Formal Methods and Automated Verification |
Volume | 10471 |
Pagination | 150–164 |
Publisher | Springer |
DOI | 10.1007/978-3-319-67113-0_10 |