Dec 22, 2020 · We lay out a general method for computing branching distances between labeled transition systems. We translate the quantitative games used for defining these ...
Oct 20, 2019 · We lay out a general method for computing branching distances between labeled transition systems. We translate the quantitative games used for ...
[PDF] Computing Branching Distances Using Quantitative Games
www.semanticscholar.org › paper › Com...
A method which can be used to compute all branching distances in the linear-time--branching-time spectrum is achieved. We lay out a general method for ...
Oct 22, 2019 · We lay out a general method for computing branching distances between labeled transition systems. We translate the quantitative games used ...
We lay out a general method for computing branching distances between labeled transition systems. We translate the quantitative games used for defining ...
Computing Branching Distances Using Quantitative Games · Computer Science, Mathematics. ICTAC · 2019.
We lay out a general method for computing branching distances between labeled transition systems. We translate the quantitative games used for.
We lay out a general method for computing branching distances between labeled transition systems. We translate the quantitative games used for defining ...
Fahrenberg, Uli Legay, Axel [UCL] Quaas, Karin. We lay out a general method for computing branching distances between labeled transition systems.
Computing Branching Distances Using Quantitative Games · List of references · Publications that cite this publication.