You are here

Sampling-Based Reactive Motion Planning with Temporal Logic Constraints and Imperfect State Information

TitleSampling-Based Reactive Motion Planning with Temporal Logic Constraints and Imperfect State Information
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_9