Cargando…
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...
| Autores principales: | , |
|---|---|
| Formato: | Online Artículo Texto |
| Lenguaje: | English |
| Publicado: |
2021
|
| Materias: | |
| Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7984531/ http://dx.doi.org/10.1007/978-3-030-72013-1_21 |