The boundedness and zero isolation problems for weighted automata over nonnegative rationals.
Wojciech Czerwinski, Engel Lefaucheux, Filip Mazowiecki, David Purser, Markus A. Whiteland
Browse the full LICS paper archive.
Wojciech Czerwinski, Engel Lefaucheux, Filip Mazowiecki, David Purser, Markus A. Whiteland
Browse the full LICS paper archive.