\input zb-basic
\input zb-ioport
\iteman{io-port 70296790}
\itemau{Chatterjee, Krishnendu; Doyen, Laurent}
\itemti{Energy and mean-payoff parity Markov decision processes}
\itemso{MFCS, 206-218 (2011).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-642-22993-0\_21}
\end