Optimal state-space lumping in Markov chains

This publication has 7 references indexed in Scilit:

• The Mobius framework and its implementation
  IEEE Transactions on Software Engineering, 2002
• A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
  Theoretical Computer Science, 1998
• Exact and ordinary lumpability in finite Markov chains
  Journal of Applied Probability, 1994
• Bisimulation through probabilistic testing
  Information and Computation, 1991
• Lumpability and time reversibility in the aggregation-disaggregation method for large markov chains
  Communications in Statistics. Stochastic Models, 1989
• Three Partition Refinement Algorithms
  SIAM Journal on Computing, 1987
• Self-adjusting binary search trees
  Journal of the ACM, 1985