A Near-Linear-Time Algorithm for Weak Bisimilarity on Markov Chains.

David N. Jansen Jan Friso Groote Ferry Timmers Pengfei Yang

Published in: CONCUR (2020)

Keyphrases

markov chain
markov model
worst case
monte carlo
matching algorithm
dynamic programming
learning algorithm
expectation maximization
steady state
optimal solution
search space
theoretical guarantees