Verification of Markov Decision Processes Using Learning Algorithms
T. Brázdil, Krishnendu Chatterjee, Martin Chmelík, Vojtěch Forejt, Jan Křetínský, M. Kwiatkowska, D. Parker, Mateusz Ujma
Automated Technology for Verification and Analysis