Multi-player Equilibria Verification for Concurrent Stochastic Games.
Marta KwiatkowskaGethin NormanDavid ParkerGabriel SantosPublished in: QEST (2020)
Keyphrases
- stochastic games
- multi player
- nash equilibria
- games with incomplete information
- nash equilibrium
- repeated games
- solution concepts
- game theory
- incomplete information
- game theoretic
- subgame perfect equilibrium
- model checking
- imperfect information
- learning automata
- online game
- multi agent
- average reward
- reinforcement learning
- reinforcement learning algorithms