Automatic verification of competitive stochastic systems (2012)

by T Chen, V Forejt, M Kwiatkowska, D Parker, A Simaitis
Venue:Proc. 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’12), volume 7214 of LNCS