Reachability in Two-Dimensional Vector Addition Systems with States Is PSPACE-Complete.

Michael Blondin, Alain Finkel, Stefan Gller, Christoph Haase, Pierre McKenzie

Browse the full LICS paper archive.