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