Automatic Verification of Competitive Stochastic Systems

Taolue Chen‚ Vojtech Forejt‚ Marta Z. Kwiatkowska‚ David Parker and Aistis Simaitis