Skip to content

Latest commit

 

History

History
6 lines (4 loc) · 408 Bytes

README.md

File metadata and controls

6 lines (4 loc) · 408 Bytes

Probabilistic Bisimulation

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).

grafik