Assured Reinforcement Learning with Formally Verified Abstract Policies

George Rupert Mason, Radu Constantin Calinescu, Daniel Kudenko, Alec Banks

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publication9th International Conference on Agents and Artificial Intelligence (ICAART)
Publication statusPublished - 2017

Cite this