23 citations · 43 across the 3 of their papers we have counts for
1 paper · 1 filter
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…