%0 Journal Article %1 journals/corr/abs-2403-09184 %A Brázdil, Tomás %A Chatterjee, Krishnendu %A Chmelik, Martin %A Forejt, Vojtech %A Kretínský, Jan %A Kwiatkowska, Marta %A Meggendorfer, Tobias %A Parker, David %A Ujma, Mateusz %D 2024 %J CoRR %K dblp %T Learning Algorithms for Verification of Markov Decision Processes. %U http://dblp.uni-trier.de/db/journals/corr/corr2403.html#abs-2403-09184 %V abs/2403.09184

@article{journals/corr/abs-2403-09184, added-at = {2024-04-05T00:00:00.000+0200}, author = {Brázdil, Tomás and Chatterjee, Krishnendu and Chmelik, Martin and Forejt, Vojtech and Kretínský, Jan and Kwiatkowska, Marta and Meggendorfer, Tobias and Parker, David and Ujma, Mateusz}, biburl = {https://www.bibsonomy.org/bibtex/25b5eb4dc2648b88bba6dd2c9c57e2bf7/dblp}, ee = {https://doi.org/10.48550/arXiv.2403.09184}, interhash = {85cf4b916632842db4b70b8fb5db7335}, intrahash = {5b5eb4dc2648b88bba6dd2c9c57e2bf7}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:58:53.000+0200}, title = {Learning Algorithms for Verification of Markov Decision Processes.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2403.html#abs-2403-09184}, volume = {abs/2403.09184}, year = 2024 }