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