Bisimulation Metrics are Optimal Transport Distances, and Can be Computed Efficiently - Calo, Sergio; Jonsson, Anders; Neu, Gergely; Schwartz, Ludovic; Segovia-Aguas, Javier (Advances in Neural Information Processing Systems, 2024)