C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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