Explainability of Probabilistic Bisimilarity Distances for Labelled Markov Chains. - Amgad Rady; Franck van Breugel (FoSSaCS, 2023)