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

Michael Blondin, Alain Finkel, Stefan Göller, Christoph Haase, Pierre McKenzie
January 2015
PDF DOI
Type
Conference paper
Publication
Logic in Computer Science, LICS