@techreport{RR-12-03,
  title = "PLAYING STOCHASTIC GAMES PRECISELY",
  author = "Taolue Chen and Vojtech Forejt and Marta Kwiatkowska and Aistis Simaitis and Ashutosh Trivedi and Michael Ummels",
  year = "2012",
  affiliation = "DCS",
  number = "RR-12-03",
  pages = "21",
}