/Probabilistic-Bisimulation

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

Stargazers

No one’s star this repository yet.