TY - RPRT TI - Bisimulation Metrics are Optimal Transport Distances, and Can be Computed Efficiently AU - Sergio Calo AU - Anders Jonsson AU - Gergely Neu AU - Ludovic Schwartz AU - Javier Segovia-Aguas PY - 2024 UR - https://arxiv.org/abs/2406.04056 ID - 2406.04056 ER -