Playing Stochastic Games Precisely.

Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, Aistis Simaitis, Ashutosh Trivedi, Michael Ummels

Browse the full CONCUR paper archive.