Counterexample Explanation by Learning Small Strategies in Markov Decision Processes (bibtex)
by Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Andreas Fellner, Jan Kretínský
Reference:
Counterexample Explanation by Learning Small Strategies in Markov Decision ProcessesTomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Andreas Fellner, Jan KretínskýComputer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I, pages 158-177, 2015.
Bibtex Entry:
@inproceedings{DBLP:conf/cav/BrazdilCCFK15,
  author    = {Tom{\'{a}}s Br{\'{a}}zdil and
               Krishnendu Chatterjee and
               Martin Chmelik and
               Andreas Fellner and
               Jan Kret{\'{\i}}nsk{\'{y}}},
  title     = {Counterexample Explanation by Learning Small Strategies in Markov
               Decision Processes},
  booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
               2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
               {I}},
  pages     = {158--177},
  year      = {2015},
  crossref  = {DBLP:conf/cav/2015-1},
  url       = {http://dx.doi.org/10.1007/978-3-319-21690-4_10},
  doi       = {10.1007/978-3-319-21690-4_10},
  timestamp = {Mon, 20 Jul 2015 11:27:14 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cav/BrazdilCCFK15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
Powered by bibtexbrowser