Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives.

Nicolas Basset Marta Z. Kwiatkowska Ufuk Topcu Clemens Wiltsche

Published in: TACAS (2015)

Keyphrases

long run
average reward
stochastic games
short run
infinite horizon
control policy
optimal policy
average cost
markov decision processes
optimal strategy
nash equilibria
dynamic environments
upper bound
policy iteration
multi agent systems
multi agent
decision making