Permissive controller synthesis for probabilistic systems (Logical Methods in Computer Science, 2015)

(untitled) - Dräger, K; Forejt, V; Kwiatkowska, M; Parker, D; Ujma, M