Turning Tiles is PSPACE-complete.

Kanae Yoshiwatari Hironori Kiya Koki Suetsugu Tesshu Hanaka Hirotaka Ono

Published in: CoRR (2023)

Keyphrases

pspace complete
np complete
model checking
satisfiability problem
decision problems
exptime complete
strips planning
causal graph
np hard
tree automata
temporal logic
coalition logic
constraint satisfaction problems
finite state
decision making
special case
database systems