Keyphrases
- game theory
- computer games
- theorem proving
- video games
- computer programs
- game playing
- nash equilibrium
- theorem prover
- nash equilibria
- stochastic games
- educational games
- human computation
- game play
- artificial intelligence
- decision procedures
- perfect information
- game development
- database
- weighted majority
- game tree
- game theoretic
- game design
- cooperative
- neural network
- real time