TY  - RPRT
TI  - Learning Algorithms for Verification of Markov Decision Processes
AU  - Tomáš Brázdil
AU  - Krishnendu Chatterjee
AU  - Martin Chmelik
AU  - Vojtěch Forejt
AU  - Jan Křetínský
AU  - Marta Kwiatkowska
AU  - Tobias Meggendorfer
AU  - David Parker
AU  - Mateusz Ujma
PY  - 2025
DO  - 10.46298/theoretics.25.10
UR  - https://arxiv.org/abs/2403.09184
ID  - 2403.09184
ER  -