µ-Calculus via Games.

Damian Niwinski

Published in: CSL (2002)

Keyphrases

computer games
video games
game playing
game design
game theory
nash equilibria
nash equilibrium
decision making
game play
weighted majority
formal language
computer algebra
general game playing
cooperative game
data sets
human computation
coalitional games
game tree search
game theoretic
reinforcement learning