Assured Reinforcement Learning with Formally Verified Abstract Policies

George Mason, Radu Calinescu, Daniel Kudenko, Alec Banks. Assured Reinforcement Learning with Formally Verified Abstract Policies. In H. Jaap van den Herik, Ana Paula Rocha, Joaquim Filipe, editors, Proceedings of the 9th International Conference on Agents and Artificial Intelligence, ICAART 2017, Volume 2, Porto, Portugal, February 24-26, 2017. pages 105-117, SciTePress, 2017. [doi]

Abstract

Abstract is missing.