A carregar...
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...
Na minha lista:
| Publicado no: | Tools and Algorithms for the Construction and Analysis of Systems |
|---|---|
| Main Authors: | , |
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
2021
|
| Assuntos: | |
| Acesso em linha: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7984531/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-72013-1_21 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|