@Article{CFK+13b, author={T. Chen and V. Forejt and M. Kwiatkowska and D. Parker and A. Simaitis}, title={Automatic Verification of Competitive Stochastic Systems}, journal={Formal Methods in System Design}, year={2013}, volume={43}, number={1}, pages={61--92}, publisher={Springer}, month={}, note={}, key={} }