_id,doi,title
5437,10.15479/AT:IST-2015-330-v2-1,Faster algorithms for quantitative verification in constant treewidth graphs