DOI,IST REx ID,Research Group,Title of publication
10.2168/LMCS-10(1:10)2014,2233,ToHe,Exact and approximate determinization of discounted-sum automata