@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", }