Assured Reinforcement Learning with Formally Verified Abstract Policies.

George Mason, Radu Calinescu, Daniel Kudenko, Alec Banks

Browse the full ICAART paper archive.