Statistics
Publications
3
Citations
98
H-Index
3
Active since
2007
Affiliations
Saarland University(Current)
Klaus Dräger is an author at Saarland University specializing in computing, computer science, and formal methods.
Publications per year
2007–2015
3
3
Permissive Controller Synthesis for Probabilistic Systems
Klaus Dräger, Vojtěch Forejt, Marta Kwiatkowska et al. · Logical Methods in Computer Science · 2015 · 30 citations · Full text
Ingo Brückner, Klaus Dräger, Bernd Finkbeiner et al. · 2007 · 24 citations
1–3 of 3