Up a level |
Number of items: 1.
Czerwiński, Wojciech, Lefaucheux, Engel, Mazowiecki, Filip, Purser, David ORCID: 0000-0003-0394-1634 and Whiteland, Markus
(2022)
The boundedness and zero isolation problems for weighted automata over nonnegative rationals.
In: LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science.