Rigorous Approximated Determinization of Weighted Automata.

Benjamin Aminof, Orna Kupferman, Robby Lampert

Browse the full LICS paper archive.