\textsf{FlyFast}: a scalable approach to probabilistic model-checking based on mean-field approximation (Q5047045)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7614268
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | \textsf{FlyFast}: a scalable approach to probabilistic model-checking based on mean-field approximation |
scientific article; zbMATH DE number 7614268 |
Statements
FlyFast: A Scalable Approach to Probabilistic Model-Checking Based on Mean-Field Approximation (English)
0 references
9 November 2022
0 references
probabilistic on-the-fly model checking
0 references
mean-field approximation
0 references
discrete-time Markov chains
0 references
time-bounded probabilistic computation tree logic
0 references
collective adaptive systems
0 references
0.9044433236122132
0 references
0.786390483379364
0 references
0.7799999117851257
0 references
0.7764964699745178
0 references
0.7672538757324219
0 references
