@misc{indiciaed88e62d578aa,
  title = {Learning Algorithms for Verification of Markov Decision Processes},
  author = {Tomáš Brázdil and Krishnendu Chatterjee and Martin Chmelik and Vojtěch Forejt and Jan Křetínský and Marta Kwiatkowska and Tobias Meggendorfer and David Parker and Mateusz Ujma},
  year = {2025},
  doi = {10.46298/theoretics.25.10},
  url = {https://arxiv.org/abs/2403.09184},
  note = {Source identifier: 2403.09184}
}