_id,doi,title
2891,10.4230/LIPIcs.FSTTCS.2012.362,Approximate determinization of quantitative automata