Efficient Algorithms for Checking Fast Termination in VASS

Tomáš Brázdil, Krishnendu Chatterjee, Antonín Kučera +2

Vector Addition Systems with States (VASS) consists of a finite state space equipped with d counters, where in each transition every counter is incremented, decremented, or left un…