Automatic Verification of Competitive Stochastic Systems. - Chen, T; Forejt, V; Kwiatkowska, M; Parker, D; Simaitis, A (TACAS, 2012)