@misc{indiciae7efa7d1fd5b8, title = {Computing Branching Distances Using Quantitative Games}, author = {Uli Fahrenberg and Axel Legay and Karin Quaas}, year = {2019}, url = {https://arxiv.org/abs/1910.08943}, note = {Source identifier: 1910.08943} }