DOI,IST REx ID,Research Group,Title of publication
10.4230/LIPIcs.CSL.2011.82,3360,ToHe,Determinizing discounted-sum automata