Symbolic computational techniques for solving games.

Rajeev Alur P. Madhusudan Wonhong Nam

Published in: Int. J. Softw. Tools Technol. Transf. (2005)

Keyphrases

mathematical programming
high level
computer games
symbolic representation
neural network
game design
reinforcement learning agents
combinatorial optimization
computational models
game theoretic
cutting plane