Projects per year
Abstract / Description of output
One of the main applications of probabilistic model checking is to decide whether the probability of a property of interest is above or below a threshold. Using statistical model checking (SMC), this is done using a combination of stochastic simulation and statistical hypothesis testing. When the probability of interest is very small, one may need to resort to rare-event simulation techniques, in particular importance sampling (IS). However, IS simulation does not yield 0/1-outcomes, as assumed by the hypothesis tests commonly used in SMC, but likelihood ratios that are typically close to zero, but which may also take large values.
In this paper we consider two possible ways of combining IS and SMC. One involves a classical IS-scheme from the rare-event simulation literature that yields likelihood ratios with bounded support when applied to a certain (nontrivial) class of models. The other involves a particular hypothesis testing scheme that does not require a-priori knowledge about the samples, only that their variance is estimated well.
In this paper we consider two possible ways of combining IS and SMC. One involves a classical IS-scheme from the rare-event simulation literature that yields likelihood ratios with bounded support when applied to a certain (nontrivial) class of models. The other involves a particular hypothesis testing scheme that does not require a-priori knowledge about the samples, only that their variance is estimated well.
Original language | English |
---|---|
Title of host publication | 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016) |
Place of Publication | Corfu, Greece |
Publisher | Springer |
Pages | 16-26 |
Number of pages | 11 |
ISBN (Electronic) | 978-3-319-47166-2 |
ISBN (Print) | 978-3-319-47165-5 |
DOIs | |
Publication status | Published - 5 Oct 2016 |
Event | ISoLA 2016 - Corfu, Greece Duration: 5 Oct 2016 → 14 Oct 2016 http://www.isola-conference.org/isola2016/ |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer, Cham |
Volume | 9952 |
ISSN (Print) | 0302-9743 |
Conference
Conference | ISoLA 2016 |
---|---|
Abbreviated title | ISoLA 2016 |
Country/Territory | Greece |
City | Corfu |
Period | 5/10/16 → 14/10/16 |
Internet address |
Fingerprint
Dive into the research topics of 'Hypothesis testing for rare-event simulation: limitations and possibilities'. Together they form a unique fingerprint.Projects
- 1 Finished
-
QUANTICOL - A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours (RTD)
1/04/13 → 31/03/17
Project: Research