This repository contains the seminar paper and presentation about probabilistic bisimulation. We present the partition refinement algorithm by Groote, Verduzco and de Vink to calculate all bisimilar states in a probabilistically labeled transition systems (PLTS).
