David Parker : Publications
Technical reports
-
[1]
Permissive Controller Synthesis for Probabilistic Systems
Klaus Dräger‚ Vojtĕch Forejt‚ Marta Kwiatkowska‚ David Parker and Mateusz Ujma
No. RR−14−01. DCS. 2014.
Details about Permissive Controller Synthesis for Probabilistic Systems | BibTeX data for Permissive Controller Synthesis for Probabilistic Systems | Download (pdf) of Permissive Controller Synthesis for Probabilistic Systems