Computing branching distances with quantitative games

Uli Fahrenberg, Axel Legay, Karin Quaas. Computing branching distances with quantitative games. Theoretical Computer Science, 847:134-146, 2020. [doi]

Abstract

Abstract is missing.