Permissive Controller Synthesis for Probabilistic Systems Klaus Dr¨ ager3 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , David Parker2 , and Mateusz Ujma1 1 - DAVID - Document - PDFSEARCH.IO

First Page	Meta Content
	Permissive Controller Synthesis for Probabilistic Systems Klaus Dr¨ ager3 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , David Parker2 , and Mateusz Ujma1 1 Add to Reading List Document Date: 2014-03-24 08:41:21 Open Document File Size: 417,95 KB Share Result on Facebook

Permissive Controller Synthesis for Probabilistic Systems Klaus Dr¨ ager3 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , David Parker2 , and Mateusz Ujma1 1Add to Reading List