The Probabilistic Model Checking Landscape (Q4635859)
From MaRDI portal
scientific article; zbMATH DE number 6863473
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Probabilistic Model Checking Landscape |
scientific article; zbMATH DE number 6863473 |
Statements
The Probabilistic Model Checking Landscape (English)
0 references
23 April 2018
0 references
Markov chains
0 references
Markov decision processes
0 references
abstraction
0 references
applications
0 references
fault trees
0 references
model checking
0 references
parameter synthesis
0 references
probabilistic logics
0 references
