2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2015)
July 6, 2015 to July 10, 2015
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/LICS.2015.14
Known to be decidable since 1981, there still remains a huge gap between the best known lower and upper bounds for the reach ability problem for vector addition systems with states (VASS). Here the problem is shown PSPACE-complete in the two-dimensional case, vastly improving on the doubly exponential time bound established in 1986 by Howell, Rosier, Huynh and Yen. Cover ability and bounded ness for two-dimensional VASS are also shown PSPACE-complete, and reach ability in two-dimensional VASS and in integer VASS under unary encoding are considered.
Radiation detectors, Upper bound, Encoding, Automata, Petri nets, Complexity theory, Polynomials
Michael Blondin, Alain Finkel, Stefan Goller, Christoph Haase, Pierre McKenzie, "Reachability in Two-Dimensional Vector Addition Systems with States Is PSPACE-Complete", 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), vol. 00, no. , pp. 32-43, 2015, doi:10.1109/LICS.2015.14