30 citations · 72 across the 17 of their papers we have counts for
4 papers · 1 filter
Timed Comparisons of Semi-Markov Processes
Mathias Ruggaard Pedersen, Nathanaël Fijalkow, Giorgio Bacci +2
Semi-Markov processes are Markovian processes in which the firing time of the transitions is modelled by probabilistic distributions over positive reals interpreted as the probabil…
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…