Vojtěch Forejt : Publications

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 | BibTeX | Download  (pdf)