32 citations · 80 across the 14 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.LO2015★ 1 cited
Verification and Control of Partially Observable Probabilistic Real-Time Systems
Gethin Norman, David Parker, Xueyi Zou
We propose automated techniques for the verification and control of probabilistic real-time systems that are only partially observable. To formally model such systems, we define an…
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…