Login / Signup
Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions.
Sadegh Esmaeil Zadeh Soudjani
Alessandro Abate
Published in:
Log. Methods Comput. Sci. (2015)
Keyphrases
</>
markov process
probability distribution
stochastic process
stochastic processes
markov chain
markov processes
stationary distribution
random variables
bayesian networks
approximation algorithms
transition probabilities
posterior distribution
marginal distributions
initial state
posterior probability