Automated Verification of Concurrent Stochastic Games.
Marta KwiatkowskaGethin NormanDavid ParkerGabriel SantosPublished in: QEST (2018)
Keyphrases
- stochastic games
- automated verification
- model checking
- automated reasoning
- formal verification
- nash equilibria
- markov decision processes
- robust optimization
- nash equilibrium
- learning automata
- multi agent
- reinforcement learning algorithms
- average reward
- graph theory
- infinite horizon
- knowledge representation
- single agent
- repeated games
- planning domains
- reinforcement learning