Games and Markov Decision Processes with Mean-Payoff Parity and Energy Parity Objectives [chapter]

Krishnendu Chatterjee, Laurent Doyen
2012 Lecture Notes in Computer Science  
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. Definitions Probability distributions. A probability distribution over a finite set A is a function κ : A → [0, 1] such that a∈A κ(a) = 1. The support of κ
more » ... the set Supp(κ) = {a ∈ A | κ(a) > 0}. We denote by D(A) the set of probability distributions on A.
doi:10.1007/978-3-642-25929-6_3 fatcat:ehqil7hdpvh7rnfwuliovhaul4