Playing Stochastic Games Precisely

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