Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria.
Benjamin AminofVadim MalvoneAniello MuranoSasha RubinPublished in: AAMAS (2016)
Keyphrases
- nash equilibria
- incomplete information
- mixed strategy
- game theory
- stochastic games
- alternating time temporal logic
- formal theory
- fictitious play
- imperfect information
- game theoretic
- nash equilibrium
- pure strategy
- modal operators
- stackelberg game
- modal logic
- multiagent learning
- solution concepts
- model checking
- multi agent
- sufficient conditions
- multi agent systems