Anfonwch hwn fel neges destun: Automatic Verification of Competitive Stochastic Systems.