Department of Software Science, Radboud University, Nijmegen, The Netherlands; Department of Computer Science, University of Oxford, Oxford, United Kingdom
Marnix Suilen, Thiago D. Simão, David Parker, Nils Jansen
Markov Decision Process;Robust Reinforcement Learning;Model-based Reinforcement Learning;Formal Verification
Robust Anytime Learning of Markov Decision Processes