8 citations · 27 across the 10 of their papers we have counts for
Showing 2017 · cs.LOShow all
2 papers · 2 filters
cs.LO2017★ 4 cited
On-the-Fly Computation of Bisimilarity Distances
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen +1
We propose a distance between continuous-time Markov chains (CTMCs) and study the problem of computing it by comparing three different algorithmic methodologies: iterative, linear…
cs.LO2017★ 5 cited
A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen +1
In this paper we propose a complete axiomatization of the bisimilarity distance of Desharnais et al. for the class of finite labelled Markov chains. Our axiomatization is given in…