Solving Games Via Three-Valued Abstraction Refinement.

Luca de Alfaro Pritam Roy

Published in: CONCUR (2007)

Keyphrases

game theory
computer games
nash equilibria
video games
game playing
game tree search
linear programming
integrity constraints
educational games
game theoretic
learning agents