Lemmings Is PSPACE-Complete.

Giovanni Viglietta

Published in: FUN (2014)

Keyphrases

reinforcement learning
pspace complete
np complete
decision problems
model checking
satisfiability problem
optimal policy
exptime complete
tree automata
strips planning
causal graph
np hard
temporal logic
finite state
database
utility function
regular expressions
computational complexity
multi agent systems
metadata