University of Oxford Logo University of OxfordDepartment of Computer Science - Home
Linked in
Linked in
Follow us on twitter
Twitter
On Facebook
Facebook
Instagram
Instagram

Algorithms for Bisimulation and Simulation on Markov Chains

Supervisor

Suitable for

Abstract

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.