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...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Journal article |
| Published: |
IfCoLog
2015
|