Faster Algorithms for Markov Decision Processes with Low Treewidth

Krishnendu Chatterjee, Jakub Lacki. Faster Algorithms for Markov Decision Processes with Low Treewidth. In Natasha Sharygina, Helmut Veith, editors, Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings. Volume 8044 of Lecture Notes in Computer Science, pages 543-558, Springer, 2013. [doi]

@inproceedings{ChatterjeeL13,
  title = {Faster Algorithms for Markov Decision Processes with Low Treewidth},
  author = {Krishnendu Chatterjee and Jakub Lacki},
  year = {2013},
  doi = {http://dx.doi.org/10.1007/978-3-642-39799-8_36},
  researchr = {https://researchr.org/publication/ChatterjeeL13},
  cites = {0},
  citedby = {0},
  pages = {543-558},
  booktitle = {Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
  editor = {Natasha Sharygina and Helmut Veith},
  volume = {8044},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-39798-1},
}