Rigorous approximated determinization of weighted automata (2011)

by B Aminof, O Kupferman, R Lampert
Venue:In Proc. 26th LICS symposium