Symbolic computational techniques for solving games.

P. Madhusudan Wonhong Nam Rajeev Alur

Published in: Electron. Notes Theor. Comput. Sci. (2003)

Keyphrases

video games
game playing
mathematical programming
game design
cutting plane
weighted majority
high level
reinforcement learning
computational models
game theoretic
solving problems
online game
mixed integer program
perfect information
symbolic description