%0 Conference Paper %1 conf/atva/BrazdilCCFKKPU14 %A Brázdil, Tomás %A Chatterjee, Krishnendu %A Chmelik, Martin %A Forejt, Vojtech %A Kretínský, Jan %A Kwiatkowska, Marta Z. %A Parker, David %A Ujma, Mateusz %B ATVA %D 2014 %E Cassez, Franck %E Raskin, Jean-François %I Springer %K dblp %P 98-114 %T Verification of Markov Decision Processes Using Learning Algorithms. %U http://dblp.uni-trier.de/db/conf/atva/atva2014.html#BrazdilCCFKKPU14 %V 8837 %@ 978-3-319-11935-9

@inproceedings{conf/atva/BrazdilCCFKKPU14, added-at = {2022-04-09T00: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 Z. and Parker, David and Ujma, Mateusz}, biburl = {https://www.bibsonomy.org/bibtex/2a1475c44a45a1769776e645c4186bbdc/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2014}, editor = {Cassez, Franck and Raskin, Jean-François}, ee = {https://doi.org/10.1007/978-3-319-11936-6_8}, interhash = {e9e3734b9e0325794712cc0482dce6fa}, intrahash = {a1475c44a45a1769776e645c4186bbdc}, isbn = {978-3-319-11935-9}, keywords = {dblp}, pages = {98-114}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T12:16:52.000+0200}, title = {Verification of Markov Decision Processes Using Learning Algorithms.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2014.html#BrazdilCCFKKPU14}, volume = 8837, year = 2014 }