Login / Signup
Switches are PSPACE-Complete.
Jonathan Gabor
Aaron Williams
Published in:
CCCG (2018)
Keyphrases
</>
pspace complete
np complete
model checking
satisfiability problem
decision problems
exptime complete
strips planning
tree automata
computational complexity
np hard
temporal logic
conjunctive queries
decision making
phase transition
causal graph
database
reinforcement learning
learning algorithm