A Tool for the Automated Verification of Nash Equilibria in Concurrent Games.
Alexis ToumiJulian GutierrezMichael J. WooldridgePublished in: ICTAC (2015)
Keyphrases
- nash equilibria
- automated verification
- incomplete information
- stochastic games
- game theory
- fictitious play
- game theoretic
- nash equilibrium
- pure strategy
- model checking
- multiagent learning
- solution concepts
- automated reasoning
- artificial intelligence
- formal verification
- congestion games
- multi agent systems
- cooperative
- multi agent
- knowledge base