Items where Author is "Brázdil, Tomáš"
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Jump to: Journal Article
Number of items: 1.
Journal Article
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.