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]

Authors

George Mason

This author has not been identified. Look up 'George Mason' in Google

Radu Calinescu

This author has not been identified. It may be one of the following persons: Look up 'Radu Calinescu' in Google

Daniel Kudenko

This author has not been identified. Look up 'Daniel Kudenko' in Google

Alec Banks

This author has not been identified. Look up 'Alec Banks' in Google