Compositional controller synthesis for stochastic games (0)

by N Basset, M Kwiatkowska, C Wiltsche
Venue:In CONCUR, vol. 8704 of LNCS