Sampling-based algorithms for motion planning with temporal logic specifications

Montana, Felipe (2019) Sampling-based algorithms for motion planning with temporal logic specifications. PhD thesis, University of Sheffield.

Metadata

Supervisors: Dodd, Tony and Liu, Jun
Keywords: Formal verification, motion and path planning, autonomous systems control
Awarding institution: University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Automatic Control and Systems Engineering (Sheffield)
Identification Number/EthosID: uk.bl.ethos.766565
Depositing User: Mr Felipe Montana
Date Deposited: 21 Jan 2019 09:40
Last Modified: 01 Feb 2020 10:53
Open Archives Initiative ID (OAI ID):

Download

Sampling-based algorithms for motion planning with temporal logic specifications

Filename: Sampling-based algorithms for motion planning with temporal logic specifications.pdf

Licence: Creative Commons Licence
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 2.5 License

CLICK TO DOWNLOAD [thumbnail of Sampling-based algorithms for motion planning with temporal logic specifications.pdf]

Export

Statistics


You do not need to contact us to get a copy of this thesis. Please use the 'Download' link(s) above to get a copy.
You can contact us about this thesis. If you need to make a general enquiry, please see the Contact us page.