Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis: Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. CoRR abs/1504.07384 (2015)