Keyphrases
- game theory
- computer games
- game play
- video games
- game playing
- theorem prover
- virtual world
- theorem proving
- pursuit evasion
- serious games
- game design
- real time
- multi agent
- knowledge base
- learning algorithm
- game theoretic
- digital games
- game development
- stochastic games
- repeated games
- automated theorem proving
- cooperative game
- data sets