Văn bản này: Automatic Verification of Competitive Stochastic Systems.