DOI,IST REx ID,Research Group,Title of publication
10.1007/s10703-021-00373-5,9393,KrCh,Faster algorithms for quantitative verification in bounded treewidth graphs