Klaus Draeger
Klaus Draeger
Selected 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 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
-
Model Checking Stochastic Branching Processes
T. Chen‚ K. Dräger and S. Kiefer
In Proceedings 37th International Symposium on Mathematical Foundations of Computer Science (MFCS). Vol. 7464 of LNCS. Springer. 2012.
Details about Model Checking Stochastic Branching Processes | BibTeX data for Model Checking Stochastic Branching Processes
-
Towards Communication−Based Steering of Complex Distributed Systems
K. Draeger and M. Kwiatkowska
In R. Calinescu and D. Garlan, editors, Development‚ Operation and Management of Large−Scale Complex IT Systems. Vol. 7539 of LNCS. Springer. 2012.
to appear
Details about Towards Communication−Based Steering of Complex Distributed Systems | BibTeX data for Towards Communication−Based Steering of Complex Distributed Systems