%0 Conference Paper %1 conf/cav/BrazdilCCFK15 %A Brázdil, Tomás %A Chatterjee, Krishnendu %A Chmelik, Martin %A Fellner, Andreas %A Kretínský, Jan %B CAV (1) %D 2015 %E Kroening, Daniel %E Pasareanu, Corina S. %I Springer %K dblp %P 158-177 %T Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. %U http://dblp.uni-trier.de/db/conf/cav/cav2015-1.html#BrazdilCCFK15 %V 9206 %@ 978-3-319-21689-8

@inproceedings{conf/cav/BrazdilCCFK15, added-at = {2019-08-20T00:00:00.000+0200}, author = {Brázdil, Tomás and Chatterjee, Krishnendu and Chmelik, Martin and Fellner, Andreas and Kretínský, Jan}, biburl = {https://www.bibsonomy.org/bibtex/28b16746c22ac46e0563dcb1f4a6f826d/dblp}, booktitle = {CAV (1)}, crossref = {conf/cav/2015-1}, editor = {Kroening, Daniel and Pasareanu, Corina S.}, ee = {https://doi.org/10.1007/978-3-319-21690-4_10}, interhash = {22c6856a065c1fb5887058996b8fffe0}, intrahash = {8b16746c22ac46e0563dcb1f4a6f826d}, isbn = {978-3-319-21689-8}, keywords = {dblp}, pages = {158-177}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-08-21T11:56:39.000+0200}, title = {Counterexample Explanation by Learning Small Strategies in Markov Decision Processes.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2015-1.html#BrazdilCCFK15}, volume = 9206, year = 2015 }