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

Research output: Contribution to conferencePaperpeer-review

55 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 Sept 2013
Event1st Workshop on Statistical Model Checking, SMC 2013 - INRIA Rennes, Rennes, France
Duration: 23 Sept 201323 Sept 2013
Conference number: 1

Workshop

Workshop1st Workshop on Statistical Model Checking, SMC 2013
Abbreviated titleSMC
Country/TerritoryFrance
CityRennes
Period23/09/1323/09/13

Keywords

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

Fingerprint

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

Cite this