PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time.
Marta KwiatkowskaGethin NormanDavid ParkerGabriel SantosPublished in: CAV (2) (2020)
Keyphrases
- worst case
- nash equilibrium
- nash equilibria
- game theoretic
- pure strategy
- pure nash equilibria
- solution concepts
- game theory
- stochastic games
- repeated games
- mixed strategy
- fictitious play
- imperfect information
- extensive form games
- pure nash equilibrium
- model checking
- database systems
- incomplete information
- concurrency control
- congestion games
- games played
- perfect information
- computer games
- minority game
- monte carlo
- influence diagrams