Playing Stochastic Games Precisely

Bibliographic Details
Main Authors: Chen, T, Forejt, V, Kwiatkowska, M, Simaitis, A, Trivedi, A, Ummels, M
Format: Conference item
Published: 2012