Original language | English |
---|---|
Title of host publication | 9th International Conference on Agents and Artificial Intelligence (ICAART) |
Publication status | Published - 2017 |
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 proceeding › Conference contribution