A Library for Algorithmic Game Theory in Ssreflect/Coq.
Alexander BagnallSamuel MertenGordon StewartPublished in: J. Formaliz. Reason. (2017)
Keyphrases
- game theory
- game theoretic
- nash equilibrium
- cooperative
- resource allocation
- statistical physics
- mechanism design
- fictitious play
- multi agent systems
- nash equilibria
- multi agent learning
- decision theory
- solution concepts
- formal methods
- cooperative game theory
- financial crisis
- multi agent cooperation
- learning algorithm
- human computation
- theorem prover
- multi agent