Showing cs.FLShow all
2 papers · 1 filter
cs.FL2026
Reachability in VASS Extended with Integer Counters
Clotilde Bizière, Wojciech Czerwiński, Roland Guttenberg +5
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.FL2024
Reachability in One-Dimensional Pushdown Vector Addition Systems is Decidable
Clotilde Bizière, Wojciech Czerwiński
We consider the model of one-dimensional Pushdown Vector Addition Systems (1-PVAS), a fundamental computational model simulating both recursive and concurrent behaviours. Our main…