Search
Now showing items 1-2 of 2
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 ...