Browsing Artículos by Author "Hermanns, Holger"
Now showing items 1-1 of 1
-
Rare event simulation with fully automated Importance splitting
Budde, Carlos Esteban; D'Argenio, Pedro Ruben; Hermanns, Holger (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 ...