Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions (Q3196339)
From MaRDI portal
!
WARNING
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 6501855
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions |
scientific article; zbMATH DE number 6501855 |
Statements
Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions (English)
0 references
29 October 2015
0 references
Markov processes
0 references
probability distributions
0 references
formal abstractions
0 references
discrete-time stochastic systems
0 references
0.8973324
0 references
0 references
0.8807436
0 references
0.8788831
0 references
0.8780044
0 references
0.8774039
0 references
0.87490344
0 references
