The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf
.
Energy and Mean-Payoff Parity Markov Decision Processes
[article]
2011
arXiv
pre-print
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 two
arXiv:1104.2909v1
fatcat:4jvzspc6wzhjlmydumvvhj4tsa