Approximate Verification of the Symbolic Dynamics of Markov Chains (Q5501948)
From MaRDI portal
scientific article; zbMATH DE number 6472762
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Approximate Verification of the Symbolic Dynamics of Markov Chains |
scientific article; zbMATH DE number 6472762 |
Statements
Approximate Verification of the Symbolic Dynamics of Markov Chains (English)
0 references
14 August 2015
0 references
LTL logic
0 references
Markov chains
0 references
approximate model checking
0 references
discretization
0 references
