Temporal Logic Motion Planning in Partially Unknown Environments

This thesis considers the problem of a robot with complex dynamics navigating a partially discovered environment to satisfy a temporal logic formula consisting of both a co-safety formula component and a safety formula component. We employ a multi-layered synergistic framework for planning motions t...

Full description

Bibliographic Details
Main Author: Maly, Matthew
Other Authors: Kavraki, Lydia E.
Format: Others
Language:English
Published: 2013
Subjects:
Online Access:http://hdl.handle.net/1911/71997