164 search results - page 1 / 33 » Model Checking Hierarchical Probabilistic Systems |
102
Voted
ICFEM
2010
Springer
14 years 10 months ago
2010
Springer
129
Voted
CAV
2012
Springer
13 years 3 months ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
115
Voted
DAC
1998
ACM
16 years 2 months ago
1998
ACM
We propose an algorithm for assessing probabilistic performance constraints for systems including components with uncertain delays. We make a case for designing systems based on a...
123
Voted
VMCAI
2010
Springer
15 years 10 months ago
2010
Springer
We present a unified game-based approach for branching-time model checking of hierarchical systems. Such systems are exponentially more succinct than standard state-transition gra...
183
Voted
LICS
2003
IEEE
15 years 6 months ago
2003
IEEE
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...