Rigorous approximated determinization of weighted automata
From MaRDI portal
Publication:385026
DOI10.1016/j.tcs.2013.02.005zbMath1291.68224MaRDI QIDQ385026
Orna Kupferman, Benjamin Aminof, Robby Lampert
Publication date: 29 November 2013
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2013.02.005
68Q45: Formal languages and automata
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)