Equilibria-based Probabilistic Model Checking for Concurrent Stochastic Games.
Marta KwiatkowskaGethin NormanDavid ParkerGabriel SantosPublished in: CoRR (2018)
Keyphrases
- model checking
- stochastic games
- nash equilibria
- games with incomplete information
- temporal logic
- nash equilibrium
- repeated games
- incomplete information
- game theory
- finite state
- game theoretic
- finite state machines
- formal methods
- markov decision processes
- average reward
- long run
- cooperative
- multi agent
- machine learning
- modal logic
- learning automata