Safe Reinforcement Learning Using Formally Verified Abstract Policies

Mason, George (2018) Safe Reinforcement Learning Using Formally Verified Abstract Policies. PhD thesis, University of York.



Related URLs:
Keywords: Reinforcement Learning, Safe Policies, Safety, Assurance, Constraint Verification, Artificial Intelligence, Machine Learning, Quantitative Verification, Model Checking, Formal Methods, Abstract Markov Decision Processes
Awarding institution: University of York
Academic Units: The University of York > Computer Science (York)
Identification Number/EthosID (e.g.
Depositing User: Dr George Mason
Date Deposited: 23 Apr 2019 12:59
Last Modified: 19 Feb 2020 13:07


Examined Thesis (PDF)

Filename: George Rupert Mason - PhD Thesis - February 2018.pdf

Licence: Creative Commons Attribution Non-commercial No Derivatives (UK)

Share / Export

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.