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.
|Number of pages||4|
|Publication status||Published - 23 Sep 2013|
|Event||First Workshop on Statistical Model Checking - INRIA Rennes, Rennes, France|
Duration: 23 Sep 2013 → 23 Sep 2013
|Workshop||First Workshop on Statistical Model Checking|
|Abbreviated title||SMC 2013|
|Period||23/09/13 → 23/09/13|