Automatic Verification of Competitive Stochastic Systems.

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

Browse the full TACAS paper archive.