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...
| Autores principales: | , |
|---|---|
| Otros Autores: | |
| Formato: | Journal article |
| Publicado: |
IfCoLog
2015
|