Lemmings is PSPACE-complete

Giovanni Viglietta

Published in: CoRR (2012)

Keyphrases

pspace complete
np complete
model checking
satisfiability problem
decision problems
exptime complete
strips planning
tree automata
causal graph
computational complexity
np hard
finite state
coalition logic
search algorithm
dynamic programming
regular expressions