Specifications for decidable hybrid games.

Vladimeros Vladimerou Pavithra Prabhakar Mahesh Viswanathan Geir E. Dullerud

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

Keyphrases

specification language
high level
game theory
computer games
video games
game design
transitive closure
first order logic
educational games
game play
functional requirements
game theoretic
imperfect information