Iterative Temporal Motion Planning for Hybrid Systems in Partially Unknown Environments

TitleIterative Temporal Motion Planning for Hybrid Systems in Partially Unknown Environments
Publication TypeConference Paper
Year of Publication2013
AuthorsMaly, MR, Lahijanian, M, Kavraki, LE, Kress-Gazit, H, Vardi, MY
Conference NameProceedings of the 16th International Conference on Hybrid Systems: Computation and Control
PublisherAssociation for Computing Machinery
Conference LocationNew York, NY, USA
ISBN Number9781450315678
Keywordsformal synthesis, motion planning, Temporal Logic
URLhttps://doi.org/10.1145/2461328.2461380
DOI10.1145/2461328.2461380
Citation KeyMalyHSCC2013