1 paper · 1 filter
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…