Bisimulation Metrics are Optimal Transport Distances, and Can be Computed Efficiently

Open in new window