Compositional Controller Synthesis for Stochastic Games.

Nicolas Basset, Marta Z. Kwiatkowska, Clemens Wiltsche

Browse the full CONCUR paper archive.