Keyphrases
- computer games
- game theory
- video games
- game design
- formal proof
- perfect information
- educational games
- nash equilibria
- game players
- nash equilibrium
- game theoretic
- neural network
- game tree search
- decision procedures
- computer programs
- game playing
- serious games
- theorem prover
- real time
- game development
- coalitional games
- human computation
- information systems
- monte carlo tree search
- weighted majority
- simulation game
- automated theorem provers