/Probabilistic-Bisimulation

Presenting the algorithm by Groote, Verduzco and de Vink to calculate all bisimilar states in a probabilistically labeled transition systems (PLTS).

No issues in this repository yet.