FlyFast: A Scalable Approach to Probabilistic Model-Checking Based on Mean-Field Approximation (Q5047045)
From MaRDI portal
scientific article; zbMATH DE number 7614268
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | 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
