@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={}
}