Algorithms for Bisimulation and Simulation on Markov Chains
Bisimulation and simulation are relations that can be used for state compression in Markov chains. The aim of this project
is to understand, implement and compare algorithms for computing these relations. Such algorithms could involve subprocedures
for solving the max-flow problem or computing matrix eigenvalues.