Verification of Markov Decision Processes Using Learning Algorithms.

Toms Brzdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretnsk, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma

Browse the full ATVA paper archive.