A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is
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 κdoi:10.1007/978-3-642-25929-6_3 fatcat:ehqil7hdpvh7rnfwuliovhaul4