SAT-Based Strategy Extraction in Reachability Games.

Niklas Eén Alexander Legg Nina Narodytska Leonid Ryzhyk

Published in: AAAI (2015)

Keyphrases

mixed strategy
state space
game theory
automatic extraction
two player games
leader follower
nash equilibrium
answer sets
multi agent systems
computer games
educational games
game theoretic
transitive closure
bounded model checking