Login / Signup
Simulation Over One-counter Nets is PSPACE-Complete.
Piotr Hofman
Slawomir Lasota
Richard Mayr
Patrick Totzke
Published in:
CoRR (2013)
Keyphrases
</>
pspace complete
np complete
model checking
satisfiability problem
decision problems
strips planning
integrity constraints
finite state