@inproceedings{DBLP:conf/concur/ChenFKSTU12,
  title = "Playing Stochastic Games Precisely",
  author = "Taolue Chen and Vojtech Forejt and Marta Z. Kwiatkowska and Aistis Simaitis and Ashutosh Trivedi and Michael Ummels",
  year = "2012",
  booktitle = "CONCUR",
  pages = "348-363",
}