3 papers
cs.FL2026
Reachability in VASS Extended with Integer Counters
Clotilde Bizière, Clotilde Bizière, Wojciech CzerwiÅski +9
We consider a variant of VASS extended with integer counters, denoted VASS+Z. These are automata equipped with N and Z counters; the N-counters are required to remain nonnegative a…
cs.FL2026
Pumping-Like Results for Copyless Cost Register Automata and Polynomially Ambiguous Weighted Automata
Filip Mazowiecki, Antoni Puch, Daniel Smertnig
In this work we consider two rich subclasses of weighted automata over fields: polynomially ambiguous weighted automata and copyless cost register automata. Primarily we are intere…
math.GR2024
Factoring through monomial representations: arithmetic characterizations and ambiguity of weighted automata
Antoni Puch, Daniel Smertnig
We characterize group representations that factor through monomial representations, respectively, block-triangular representations with monomial diagonal blocks, by arithmetic prop…