|
[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]
|