Towards a proof of the 2-to-1 games conjecture?
Irit DinurSubhash KhotGuy KindlerDor MinzerMuli SafraPublished in: STOC (2018)
Keyphrases
- video games
- game theory
- game playing
- computer games
- nash equilibrium
- theorem prover
- simulation game
- game play
- game design
- game theoretic
- stochastic games
- games played
- perfect information
- linear logic
- general game playing
- complete axiomatization
- social networks
- imperfect information
- game development
- nash equilibria
- game tree
- serious games
- educational games
- mobile robot