Author:
Filiot Emmanuel,Mazzocchi Nicolas,Raskin Jean-François
Funder
ARC Project Transform
FNRS
FRIA
ERC
Fédération Wallonie-Bruxelles
Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference22 articles.
1. What's decidable about weighted automata;Almagor,2011
2. Regular combinators for string transformations;Alur,2014
3. Decision problems for additive regular functions;Alur,2013
4. Squaring transducers: an efficient procedure for deciding functionality and sequentiality;Béal;TCS,2003
5. Mean-payoff automaton expressions;Chatterjee,2010
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The boundedness and zero isolation problems for weighted automata over nonnegative rationals;Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science;2022-08-02