Recent advances in importance sampling for statistical model checking

Research output: Contribution to conferencePaperAcademicpeer-review

8 Downloads (Pure)

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 languageEnglish
Pages-
Number of pages4
Publication statusPublished - 23 Sep 2013
EventFirst Workshop on Statistical Model Checking - INRIA Rennes, Rennes, France
Duration: 23 Sep 201323 Sep 2013

Workshop

WorkshopFirst Workshop on Statistical Model Checking
Abbreviated titleSMC 2013
CountryFrance
CityRennes
Period23/09/1323/09/13

Fingerprint

Importance sampling
Model checking
Markov processes
Statistical Models

Keywords

  • EWI-24112
  • METIS-302570
  • IR-88560

Cite this

Reijsbergen, D. P., de Boer, P-T., Scheinhardt, W. R. W., & Haverkort, B. R. H. M. (2013). Recent advances in importance sampling for statistical model checking. -. Paper presented at First Workshop on Statistical Model Checking, Rennes, France.
Reijsbergen, D.P. ; de Boer, Pieter-Tjerk ; Scheinhardt, Willem R.W. ; Haverkort, Boudewijn R.H.M. / Recent advances in importance sampling for statistical model checking. Paper presented at First Workshop on Statistical Model Checking, Rennes, France.4 p.
@conference{92e8637d8687478bad72c154e42a178b,
title = "Recent advances in importance sampling for statistical model checking",
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.",
keywords = "EWI-24112, METIS-302570, IR-88560",
author = "D.P. Reijsbergen and {de Boer}, Pieter-Tjerk and Scheinhardt, {Willem R.W.} and Haverkort, {Boudewijn R.H.M.}",
year = "2013",
month = "9",
day = "23",
language = "English",
pages = "--",
note = "First Workshop on Statistical Model Checking, SMC 2013 ; Conference date: 23-09-2013 Through 23-09-2013",

}

Reijsbergen, DP, de Boer, P-T, Scheinhardt, WRW & Haverkort, BRHM 2013, 'Recent advances in importance sampling for statistical model checking' Paper presented at First Workshop on Statistical Model Checking, Rennes, France, 23/09/13 - 23/09/13, pp. -.

Recent advances in importance sampling for statistical model checking. / Reijsbergen, D.P.; de Boer, Pieter-Tjerk; Scheinhardt, Willem R.W.; Haverkort, Boudewijn R.H.M.

2013. - Paper presented at First Workshop on Statistical Model Checking, Rennes, France.

Research output: Contribution to conferencePaperAcademicpeer-review

TY - CONF

T1 - Recent advances in importance sampling for statistical model checking

AU - Reijsbergen, D.P.

AU - de Boer, Pieter-Tjerk

AU - Scheinhardt, Willem R.W.

AU - Haverkort, Boudewijn R.H.M.

PY - 2013/9/23

Y1 - 2013/9/23

N2 - 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.

AB - 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.

KW - EWI-24112

KW - METIS-302570

KW - IR-88560

M3 - Paper

SP - -

ER -

Reijsbergen DP, de Boer P-T, Scheinhardt WRW, Haverkort BRHM. Recent advances in importance sampling for statistical model checking. 2013. Paper presented at First Workshop on Statistical Model Checking, Rennes, France.