Complete Axiomatization for the Bisimilarity Distance on Markov Chains.

Giorgio Bacci Giovanni Bacci Kim G. Larsen Radu Mardare

Published in: CONCUR (2016)

Keyphrases

markov chain
complete axiomatization
steady state
finite state
markov model
random walk
markov processes
state space
transition probabilities
stationary distribution
markov process
monte carlo method
probabilistic automata
transition matrix
stochastic process
distance measure
data integration