Keyphrases
- game theory
- game playing
- computer games
- video games
- nash equilibrium
- game theoretic
- game design
- serious games
- perfect information
- general game playing
- formal proof
- game play
- educational games
- theorem prover
- formal proofs
- simulation game
- game players
- real time
- coalitional games
- decision procedures
- online game
- game based learning
- computer programs
- multi agent systems
- search algorithm