@techreport{RR-11-11,
  title = "Automatic Verification of Competitive Stochastic Systems",
  author = "Taolue Chen and Vojtech Forejt and Marta Kwiatkowska and David Parker and Aistis Simaitis",
  year = "2011",
  institution = "DCS",
  number = "RR-11-11",
  pages = "25",
}