@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},
  url = {https://dblp.org/rec/conf/concur/ChenFKSTU12},
  booktitle = {CONCUR 2012}
}