Recent advances in importance sampling for statistical model checking

D.P. Reijsbergen; Pieter-Tjerk de Boer; Willem R.W. Scheinhardt; Boudewijn R.H.M. Haverkort

Recent advances in importance sampling for statistical model checking

D.P. Reijsbergen, Pieter-Tjerk de Boer, Willem R.W. Scheinhardt, Boudewijn R.H.M. Haverkort

Stochastic Operations Research

Research output: Contribution to conference › Paper › Academic › peer-review

12 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 language	English
Pages	-
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

Workshop	First Workshop on Statistical Model Checking
Abbreviated title	SMC 2013
Country	France
City	Rennes
Period	23/09/13 → 23/09/13

Keywords

EWI-24112
METIS-302570
IR-88560

Access to Document

smc2013_submission_8
open

Fingerprint Dive into the research topics of 'Recent advances in importance sampling for statistical model checking'. Together they form a unique fingerprint.

Cite this

@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 = sep,

day = "23",

language = "English",

pages = "--",

note = "First Workshop on Statistical Model Checking, SMC 2013 ; Conference date: 23-09-2013 Through 23-09-2013",

}

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

T2 - First Workshop on Statistical Model Checking

Y2 - 23 September 2013 through 23 September 2013

ER -