Login / Signup

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

Michael BlondinAlain FinkelStefan GöllerChristoph HaasePierre McKenzie
Published in: LICS (2015)
Keyphrases
  • pspace complete
  • np complete
  • decision making
  • complex systems
  • database
  • lower bound
  • finite state
  • transitive closure