Games and Markov decision processes with mean payoff parity and energy parity objectives Conference Paper


Author(s): Chatterjee, Krishnendu; Doyen, Laurent
Title: Games and Markov decision processes with mean payoff parity and energy parity objectives
Title Series: LNCS
Affiliation IST Austria
Abstract: 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.
Keywords: Game theory; Markov Decision Processes; Reactive system; Resource-constrained; Two-player games; Markov processes
Conference Title: MEMICS: Mathematical and Engineering Methods in Computer Science
Volume: 7119
Conference Dates: October 14-16, 2011
Conference Location: Lednice, Czech Republic
ISBN: 978-3-642-36044-2
Publisher: Springer  
Date Published: 2012-01-01
Start Page: 37
End Page: 46
Sponsor: This work was partially supported by FWF NFN Grant S11407-N23 (RiSE) and a Microsoft faculty fellowship.
URL:
DOI: 10.1007/978-3-642-25929-6_3
Open access: yes (repository)
IST Austria Authors
Related IST Austria Work