Permissive Controller Synthesis for Probabilistic Systems.

Wed, 01 Jan 2014 00:00:00 +0100

Klaus Dräger, Vojtech Forejt, Marta Z. Kwiatkowska , David Parker, Mateusz Ujma:
Permissive Controller Synthesis for Probabilistic Systems. TACAS 2014: 531-546