Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games.
Marta KwiatkowskaGethin NormanDavid ParkerGabriel SantosPublished in: FM (2019)
Keyphrases
- model checking
- stochastic games
- nash equilibria
- games with incomplete information
- nash equilibrium
- temporal logic
- repeated games
- incomplete information
- finite state
- game theory
- finite state machines
- game theoretic
- markov decision processes
- formal methods
- long run
- imperfect information
- bayesian networks
- modal logic
- average reward
- artificial intelligence
- learning automata