Recent advances in importance sampling for statistical model checking
Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner Scheinhardt, Boudewijn R. H. M. Haverkort · University of Twente Research Information · 2013
In the following work we present an overview of recent advances in rare event simulation for model checking made at the University of Twente. The overview is divided into the several model classes for which we propose algorithms, namely multicomponent systems, Markov chains and stochastic Petri nets, and probabilistic timed automata.