Permissive Controller Synthesis for Probabilistic Systems.

Klaus Drger, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma

Browse the full TACAS paper archive.