The Internet Archive has a preservation copy of this work in our general collections.
The file type is
We consider Markov Decision Processes (MDPs) with mean-payoff parity and energy parity objectives. In system design, the parity objective is used to encode \omega-regular specifications, and the mean-payoff and energy objectives can be used to model quantitative resource constraints. The energy condition requires that the resource level never drops below 0, and the mean-payoff condition requires that the limit-average value of the resource consumption is within a threshold. While these twoarXiv:1104.2909v1 fatcat:4jvzspc6wzhjlmydumvvhj4tsa