M.: Playing stochastic games precisely (2012)

by T Chen, V Forejt, M Kwiatkowska, A Simaitis, A Trivedi, Ummels