Program verification using symbolic game semantics.

Aleksandar S. Dimovski

Published in: Theor. Comput. Sci. (2014)

Keyphrases

formal semantics
logic programming
game theory
game design
video games
nash equilibrium
educational games
game play
real time strategy games
game playing
computer games
virtual world
conceptual model
game theoretic
board game
monte carlo tree search
high level
knowledge representation
game development