You are here

Sampling-Based Path Planning for Multi-robot Systems with Co-Safe Linear Temporal Logic Specifications

TitleSampling-Based Path Planning for Multi-robot Systems with Co-Safe Linear Temporal Logic Specifications
Publication TypeBook Chapter
Year of Publication2017
AuthorsMontana, F. J., J. Liu, and T. J. Dodd
Book TitleCritical Systems: Formal Methods and Automated Verification
Volume10471
PublisherSpringer
DOI10.1007/978-3-319-67113-0_10