Coupling and Importance Sampling for Statistical Model Checking (Q2894280)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Coupling and Importance Sampling for Statistical Model Checking |
scientific article |
Statements
Coupling and Importance Sampling for Statistical Model Checking (English)
0 references
29 June 2012
0 references
statistical model checking
0 references
rare events
0 references
importance sampling
0 references
coupling
0 references
