31 citations · 35 across the 2 of their papers we have counts for
2 papers
cs.LO2015★ 31 cited
Permissive Controller Synthesis for Probabilistic Systems
Klaus Drager, Vojtech Forejt, Marta Kwiatkowska +2
We propose novel controller synthesis techniques for probabilistic systems modelled using stochastic two-player games: one player acts as a controller, the second represents its en…
cs.LO2012★ 4 cited
Model Checking Stochastic Branching Processes
Taolue Chen, Klaus Dräger, Stefan Kiefer
Stochastic branching processes are a classical model for describing random trees, which have applications in numerous fields including biology, physics, and natural language proces…