Games and Markov decision processes with mean payoff parity and energy parity objectives - Chatterjee, Krishnendu; Doyen, Laurent; MEMICS: Mathematical and Engineering Methods in Computer Science; Rigorous Systems Engineering (Lednice, Czech Republic : Springer, 2012)
In this paper we survey results of two-player games on graphs and Markov decision processes with parity, mean-payoff and energy objectives, and the combination of mean-payoff and energy objectives with parity objectives. These problems have applications in verification and synthesis of reactive systems in resource-constrained environments.
published
yes
Keywords: conference paper