Automatic Verification of Competitive Stochastic Systems. (TACAS, 2012)

(untitled) - Chen, T; Forejt, V; Kwiatkowska, M; Parker, D; Simaitis, A