Bisimulation Metrics are Optimal Transport Distances, and Can be Computed Efficiently | Read Paper on Bytez