Items where Author is "Ujma, Mateusz"

Brázdil, Tomáš and Chatterjee, Krishnendu and Chmelik, Martin and Forejt, Vojtěch and Křetínský, Jan and Kwiatkowska, Marta and Meggendorfer, Tobias and Parker, David and Ujma, Mateusz (2025) Learning Algorithms for Verification of Markov Decision Processes. TheoretiCS, 4: 13268.