A new proof of Nash's Theorem via exchangeable equilibria
Noah D. SteinPablo A. ParriloAsuman E. OzdaglarPublished in: CoRR (2010)
Keyphrases
- nash equilibrium
- nash equilibria
- interactive theorem proving
- game theory
- game theoretic
- social welfare
- incomplete information
- stochastic games
- pure strategy
- fixed point
- pareto optimal
- theorem proving
- equilibrium strategies
- utility function
- theorem prover
- long run
- cooperative
- database
- multiagent learning
- bayesian networks