%0 Conference Paper %1 conf/isola/AshokBKS18 %A Ashok, Pranav %A Brázdil, Tomás %A Kretínský, Jan %A Slámecka, Ondrej %B ISoLA (2) %D 2018 %E Margaria, Tiziana %E Steffen, Bernhard %I Springer %K dblp %P 322-335 %T Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes. %U http://dblp.uni-trier.de/db/conf/isola/isola2018-2.html#AshokBKS18 %V 11245 %@ 978-3-030-03421-4

@inproceedings{conf/isola/AshokBKS18, added-at = {2019-09-25T00:00:00.000+0200}, author = {Ashok, Pranav and Brázdil, Tomás and Kretínský, Jan and Slámecka, Ondrej}, biburl = {https://www.bibsonomy.org/bibtex/203c2d37f3a998a3d83f29cdd4dcaf2ca/dblp}, booktitle = {ISoLA (2)}, crossref = {conf/isola/2018-2}, editor = {Margaria, Tiziana and Steffen, Bernhard}, ee = {https://doi.org/10.1007/978-3-030-03421-4_21}, interhash = {191db48769286e36b3dfe54c2dc7fcac}, intrahash = {03c2d37f3a998a3d83f29cdd4dcaf2ca}, isbn = {978-3-030-03421-4}, keywords = {dblp}, pages = {322-335}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T13:49:15.000+0200}, title = {Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes.}, url = {http://dblp.uni-trier.de/db/conf/isola/isola2018-2.html#AshokBKS18}, volume = 11245, year = 2018 }