_id,doi,title
2233,10.2168/LMCS-10(1:10)2014,Exact and approximate determinization of discounted-sum automata