Approximate verification of the symbolic dynamics of Markov chains (Q5501948)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Approximate verification of the symbolic dynamics of Markov chains |
scientific article; zbMATH DE number 6472762
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.9848610162734984
0 references
0.8159031867980957
0 references
0.7999798655509949
0 references
0.7822924256324768
0 references
0.7819471955299377
0 references
