search

fandreuz / BisPy

BisPy - Python bisimulation library
MIT License
14 stars 5 forks source link

RankedSplit: wrong implementation? #20

Closed fandreuz closed 3 years ago

fandreuz commented 3 years ago

I may have misunderstood the real intuition behind the function RankedSplit in Saha's algorithm.

fandreuz commented 3 years ago

As mentioned here, the algorithm is the same, therefore my implementation of RankedSplit is correct. image