A Two-Prover One-Round Game with Strong Soundness.
Subhash KhotMuli SafraPublished in: Theory Comput. (2013)
Keyphrases
- video games
- game playing
- computer games
- theorem proving
- game theory
- game design
- game theoretic
- game play
- nash equilibrium
- educational games
- pursuit evasion
- artificial intelligence
- real time strategy games
- virtual world
- multi agent
- high level
- theorem prover
- reinforcement learning
- game based learning
- game tree
- nash equilibria
- game development
- learning games
- automated theorem proving
- role playing
- decision making