Načítá se...
Replicating [Formula: see text] with Prolonged Retrials: An Experimental Report
Statistical model checking uses Monte Carlo simulation to analyse stochastic formal models. It avoids state space explosion, but requires rare event simulation techniques to efficiently estimate very low probabilities. One such technique is [Formula: see text] . Villén-Altamirano recently showed—by...
Uloženo v:
| Vydáno v: | Tools and Algorithms for the Construction and Analysis of Systems |
|---|---|
| Hlavní autoři: | , |
| Médium: | Artigo |
| Jazyk: | Inglês |
| Vydáno: |
2021
|
| Témata: | |
| On-line přístup: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7984531/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-72013-1_21 |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|