Login / Signup
Definability in Games.
Erich Grädel
Published in:
CSL (2010)
Keyphrases
</>
computer games
fixed point
video games
nash equilibria
game theory
nash equilibrium
propositional logic
decision making
game playing
game players
first order logic
perfect information
coalitional games
weighted majority
imperfect information
game development
online game
game based learning
reinforcement learning