_id,doi,title
1607,10.1007/978-3-319-21690-4_9,Faster algorithms for quantitative verification in constant treewidth graphs