@InProceedings{CFK+12,
author={T. Chen and V. Forejt and M. Kwiatkowska and D. Parker and A. Simaitis},
title={Automatic Verification of Competitive Stochastic Systems},
booktitle={Proc. 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12)},
year={2012},

editor={C. Flanagan and B. K{\"{o}}nig},
pages={315-330},
organization={},
publisher={Springer},
series={LNCS},
volume={7214},
address={},
month={},
note={},
key={}
}