PRISM-Games 2.0: A Tool for Multi-objective Strategy Synthesis for Stochastic Games.
Marta KwiatkowskaDavid ParkerClemens WiltschePublished in: TACAS (2016)
Keyphrases
- stochastic games
- multi objective
- nash equilibria
- multiagent reinforcement learning
- nash equilibrium
- markov decision processes
- incomplete information
- learning automata
- repeated games
- imperfect information
- genetic algorithm
- evolutionary algorithm
- reinforcement learning algorithms
- multi agent
- objective function
- neural network
- video games
- game theory
- game theoretic
- optimal strategy
- robust optimization
- lower bound
- learning algorithm