53 search results - page 1 / 11 » Probabilistic Verification for "Black-Box" Systems |
TACAS
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
IANDC
2006
13 years 7 months ago
2006
Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years, with a clear focus on ...
BIRTHDAY
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Probabilistic systems of interacting intelligent agents are considered. They have two sources of uncertainty: uncertainty of communication channels and uncertainty of act...
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
CAV
2005
Springer
14 years 1 months ago
2005
Springer