PSPACE-Complete Two-Color Placement Games.

Kyle Burke Bob Hearn

Published in: CoRR (2016)

Keyphrases

pspace complete
np complete
model checking
decision problems
satisfiability problem
color images
strips planning
game theory
temporal logic
tree automata
game playing
finite state
coalition logic