Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs.
Søren EnevoldsenMathias Claus JensenKim Guldstrand LarsenAnders MariegaardJirí SrbaPublished in: LOPSTR (2020)
Keyphrases
- dependency graphs
- stochastic games
- imperfect information
- nash equilibria
- dependency graph
- markov decision processes
- nash equilibrium
- repeated games
- multiagent reinforcement learning
- model checking
- reinforcement learning algorithms
- average reward
- multi agent
- learning automata
- genetic algorithm
- game theoretic
- game theory
- single agent
- incomplete information
- computer games
- least squares