Open fandreuz opened 3 years ago
In the paper An incremental bisimulation algorithm there's an other algorithm for the incremental computation of maximum bisimulation, namely the one for Single Edge Deletion (page 9 of 13). It should be straightforward to implement.
In the paper An incremental bisimulation algorithm there's an other algorithm for the incremental computation of maximum bisimulation, namely the one for Single Edge Deletion (page 9 of 13). It should be straightforward to implement.