Verification-driven design and programming of autonomous robots

Izzo, Paolo (2016) Verification-driven design and programming of autonomous robots. PhD thesis, University of Sheffield.

Metadata

Supervisors: Veres, Sandor M
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.707092
Depositing User: Paolo Izzo
Date Deposited: 30 Mar 2017 13:42
Last Modified: 12 Oct 2018 09:36

Download

Verification-driven design and programming of autonomous robots

Filename: thesis_FINAL_CORRECTED.pdf

Description: Verification-driven design and programming of autonomous robots

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

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.