An Existence Theorem of Nash Equilibrium in Coq and Isabelle.
Stéphane Le RouxÉrik Martin-DorelJan-Georg SmausPublished in: GandALF (2017)
Keyphrases
- nash equilibrium
- theorem prover
- game theory
- game theoretic
- congestion games
- pareto optimal
- stackelberg game
- nash equilibria
- variational inequalities
- worst case
- solution concepts
- first order logic
- inference rules
- mixed strategy
- regret minimization
- stochastic games
- equilibrium strategies
- fictitious play
- supply chain
- objective function
- pure nash equilibrium
- incentive compatible
- demand uncertainty
- pure strategy
- von neumann
- repeated games
- multi agent systems