Automatic verification of competitive stochastic systems (University of Oxford, 2014)

(untitled) - Simaitis, A