4 citations · 4 across the 2 of their papers we have counts for
1 paper · 1 filter
Uli Fahrenberg, Axel Legay, Karin Quaas
We lay out a general method for computing branching distances between labeled transition systems. We translate the quantitative games used for defining these distances to other, pa…