Games for the mu-Calculus.

Damian Niwinski Igor Walukiewicz

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

Keyphrases

game theory
game theoretic
computer games
video games
game design
nash equilibria
computer algebra
perfect information
development environment
serious games
human computation
relational databases
nash equilibrium
digital games
evaluation function
game tree search
neural network