164 search results - page 3 / 33 » Model Checking Hierarchical Probabilistic Systems |
CAV
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
FOSSACS
2005
Springer
13 years 11 months ago
2005
Springer
TOCL
2012
11 years 8 months ago
2012
FORMATS
2004
Springer
13 years 11 months ago
2004
Springer
Probabilistic timed automata are timed automata extended with discrete probability distributions, and can be used to model timed randomised protocols or faulttolerant systems. We ...
RV
2007
Springer
14 years 5 days ago
2007
Springer
Probabilistic correctness is another important aspect of reliable systems. A soft real-time system, for instance, exhibits probabilistic behaviors from tolerating some degrees of ...