[Mas18]
George Mason.
Safe Reinforcement Learning Using Formally Verified Abstract Policies.
Ph.D. thesis, University of York.
2018.
[Proposes a reinforcement learning approach based on formally verified abstract policies, using PRISM as part of the tool chain.]
|
