Search
Now showing items 1-6 of 6
Rare event simulation with fully automated Importance splitting
(2015)
Probabilistic model checking is a powerful tool for analysing probabilistic systems but it can only be efficiently applied to Markov models. Monte Carlo simulation provides an alternative for the generality of stochastic ...
Smart sampling for lightweight verification of Markov decision processes
(2015)
Markov decision processes (MDP) are useful to model optimisation problems in concurrent systems. To verify MDPs with efficient Monte Carlo techniques requires that their nondeterminism be resolved by a scheduler. Recent ...
MaskD : a tool for measuring masking fault-tolerance
(2022-03-30)
We present MaskD, an automated tool designed to measure the level of fault-tolerance provided by software components. The tool focuses on measuring masking fault-tolerance, that is, the kind of fault-tolerance that allows ...
Analysis of non-Markovian repairable fault trees through rare event simulation
(2022)
Dynamic fault trees (DFTs) are widely adopted in industry to assess the dependability of safety-critical equipment. Since many systems are too large to be studied numerically, DFTs dependability is often analysed using ...
Axiomatizing bisimulation equivalences and metrics from probabilistic SOS rules
(2014)
Probabilistic transition system specifications (PTSS) provide structural operational semantics for reactive probabilistic labeled transition systems. Bisimulation equivalences and bisimulation metrics are fundamental notions ...
Playing against fair adversaries in stochastic games with total rewards
(2022)
We investigate zero-sum turn-based two-player stochastic games in which the objective of one player is to maximize the amount of rewards obtained during a play, while the other aims at minimizing it. We focus on games in ...