| 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 |
