@misc{indiciae6509b8e39b20,
  title = {Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs},
  author = {Krishnendu Chatterjee and Rasmus Ibsen-Jensen and Andreas Pavlogiannis},
  year = {2015},
  url = {https://arxiv.org/abs/1504.07384},
  note = {Source identifier: 1504.07384}
}