Verification of Games in the Game Description Language.

Ji Ruan Wiebe van der Hoek Michael J. Wooldridge

Published in: J. Log. Comput. (2009)

Keyphrases

general game playing
game description language
game playing
game players
evaluation function
model checking
game tree search
computer games
video games
game play
game theory
cooperative
educational games
imperfect information
end users
expert systems
multi agent systems