53 search results - page 1 / 11 » Probabilistic Verification for "Black-Box" Systems |
TACAS
2010
Springer
13 years 2 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 4 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 6 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
13 years 10 months ago
2006
IEEE
CAV
2005
Springer
13 years 10 months ago
2005
Springer