Simulation Over One-counter Nets is PSPACE-Complete.

Piotr Hofman Slawomir Lasota Richard Mayr Patrick Totzke

Published in: FSTTCS (2013)

Keyphrases

pspace complete
np complete
model checking
decision problems
satisfiability problem
machine learning
causal graph
strips planning
database
special case