_id,doi,title
12738,10.1007/s10703-023-00411-4,Stochastic games with lexicographic objectives
9393,10.1007/s10703-021-00373-5,Faster algorithms for quantitative verification in bounded treewidth graphs