Abstract
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.
| Original language | English |
|---|---|
| Pages | - |
| Number of pages | 4 |
| Publication status | Published - 23 Sep 2013 |
| Event | 1st Workshop on Statistical Model Checking, SMC 2013 - INRIA Rennes, Rennes, France Duration: 23 Sep 2013 → 23 Sep 2013 Conference number: 1 |
Workshop
| Workshop | 1st Workshop on Statistical Model Checking, SMC 2013 |
|---|---|
| Abbreviated title | SMC |
| Country/Territory | France |
| City | Rennes |
| Period | 23/09/13 → 23/09/13 |
Keywords
- EWI-24112
- METIS-302570
- IR-88560