Algorithmic Procedures for Mean Variance Optimality in Markov Decision Chains. - Karel Sladký; Milan Sitar (OR, 2005)