Login / Signup
Reachability in Two-Dimensional Vector Addition Systems with States Is PSPACE-Complete.
Michael Blondin
Alain Finkel
Stefan Göller
Christoph Haase
Pierre McKenzie
Published in:
LICS (2015)
Keyphrases
</>
pspace complete
np complete
decision making
complex systems
database
lower bound
finite state
transitive closure