Atropos: A PSPACE-Complete Sperner Triangle Game.

Kyle W. Burke Shang-Hua Teng

Published in: Internet Math. (2008)

Keyphrases

pspace complete
np complete
model checking
satisfiability problem
decision problems
game theory
strips planning
game playing
tree automata
causal graph
coalition logic
computational complexity
bayesian networks
np hard
temporal logic