Quantitative verification and strategy synthesis for stochastic games.
María SvorenováMarta KwiatkowskaPublished in: Eur. J. Control (2016)
Keyphrases
- stochastic games
- nash equilibria
- games with incomplete information
- markov decision processes
- multiagent reinforcement learning
- multi agent
- imperfect information
- average reward
- reinforcement learning algorithms
- nash equilibrium
- model checking
- dynamic programming
- cooperative
- optimal strategy
- robust optimization
- resource allocation
- multiagent systems
- repeated games