150 citations · 548 across the 51 of their papers we have counts for
3 papers · 2 filters
Reasoning About Bounds in Weighted Transition Systems
Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare +1
We propose a way of reasoning about minimal and maximal values of the weights of transitions in a weighted transition system (WTS). This perspective induces a notion of bisimulatio…
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…
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…