Avoidance Games Are PSPACE-Complete.

Valentin Gledel Nacim Oijid

Published in: STACS (2023)

Keyphrases

pspace complete
np complete
model checking
decision problems
satisfiability problem
strips planning
tree automata
game playing
game theory
constraint satisfaction problems
causal graph
machine learning
special case
optimal policy
coalition logic