Explainability is a Game for Probabilistic Bisimilarity Distances. - Emily Vlasman; Anto Nanah Ji; James Worrell 001; Franck van Breugel (CONCUR, 2025)