[MCKB17] George Mason, Radu Calinescu, Daniel Kudenko and Alec Banks. Assured Reinforcement Learning with Formally Verified Abstract Policies. In Proc. 9th International Conference on Agents and Artificial Intelligence (ICAART'17). 2017. [Proposes a reinforcement learning approach based on formally verified abstract policies, using PRISM as part of the tool chain.]
Links: [Google] [Google Scholar]