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...
Main Author: | |
---|---|
Other Authors: | |
Format: | Others |
Language: | English |
Published: |
2013
|
Subjects: | |
Online Access: | http://hdl.handle.net/1911/71997 |