Permissive Controller Synthesis for Probabilistic Systems.

Thu, 01 Jan 2015 00:00:00 +0100

Klaus Dräger, Vojtech Forejt, Marta Z. Kwiatkowska , David Parker , Mateusz Ujma:
Permissive Controller Synthesis for Probabilistic Systems. Log. Methods Comput. Sci. 11(2) (2015)