conference paper published yes Krishnendu Chatterjee author 2E5DCA20-F248-11E8-B48F-1D18A9856A870000-0002-4561-241X Laurent Doyen author KrCh department MEMICS: Mathematical and Engineering Methods in Computer Science Rigorous Systems Engineering project 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. https://research-explorer.ista.ac.at/download/3255/7863/2012_MEMICS_Chatterjee.pdf application/pdfno Springer2012Lednice, Czech Republic eng 10.1007/978-3-642-25929-6_3 711937 - 46 K. Chatterjee and L. Doyen, “Games and Markov decision processes with mean payoff parity and energy parity objectives,” presented at the MEMICS: Mathematical and Engineering Methods in Computer Science, Lednice, Czech Republic, 2012, vol. 7119, pp. 37–46. K. Chatterjee, L. Doyen, in:, Springer, 2012, pp. 37–46. Chatterjee, K., &#38; Doyen, L. (2012). Games and Markov decision processes with mean payoff parity and energy parity objectives (Vol. 7119, pp. 37–46). Presented at the MEMICS: Mathematical and Engineering Methods in Computer Science, Lednice, Czech Republic: Springer. <a href="https://doi.org/10.1007/978-3-642-25929-6_3">https://doi.org/10.1007/978-3-642-25929-6_3</a> Chatterjee K, Doyen L. 2012. Games and Markov decision processes with mean payoff parity and energy parity objectives. MEMICS: Mathematical and Engineering Methods in Computer Science, LNCS, vol. 7119, 37–46. Chatterjee, Krishnendu, and Laurent Doyen. <i>Games and Markov Decision Processes with Mean Payoff Parity and Energy Parity Objectives</i>. Vol. 7119, Springer, 2012, pp. 37–46, doi:<a href="https://doi.org/10.1007/978-3-642-25929-6_3">10.1007/978-3-642-25929-6_3</a>. Chatterjee K, Doyen L. Games and Markov decision processes with mean payoff parity and energy parity objectives. In: Vol 7119. Springer; 2012:37-46. doi:<a href="https://doi.org/10.1007/978-3-642-25929-6_3">10.1007/978-3-642-25929-6_3</a> Chatterjee, Krishnendu, and Laurent Doyen. “Games and Markov Decision Processes with Mean Payoff Parity and Energy Parity Objectives,” 7119:37–46. Springer, 2012. <a href="https://doi.org/10.1007/978-3-642-25929-6_3">https://doi.org/10.1007/978-3-642-25929-6_3</a>. 32552018-12-11T12:02:17Z2021-01-12T07:42:10Z