Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions
The goal of this work is to formally abstract a Markov process evolving in discrete time over a general state space as a finite-state Markov chain, with the objective of precisely approximating its state probability distribution in time, which allows for its approximate, faster computation by that o...
| Autori principali: | , |
|---|---|
| Natura: | Articolo |
| Lingua: | English |
| Pubblicazione: |
Logical Methods in Computer Science e.V.
2015-09-01
|
| Serie: | Logical Methods in Computer Science |
| Soggetti: | |
| Accesso online: | https://lmcs.episciences.org/1584/pdf |