_id,doi,title
3360,10.4230/LIPIcs.CSL.2011.82,Determinizing discounted-sum automata