30 citations · 72 across the 17 of their papers we have counts for
4 papers · 1 filter
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen +3
The probabilistic bisimilarity distance of Deng et al. has been proposed as a robust quantitative generalization of Segala and Lynch's probabilistic bisimilarity for probabilistic…
On the Metric-based Approximate Minimization of Markov Chains
Giovanni Bacci, Giorgio Bacci, Kim G. Larsen +1
In this paper, we address the approximate minimization problem of Markov Chains (MCs) from a behavioral metric-based perspective. Specifically, given a finite MC and a positive int…
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…
Topologies of Stochastic Markov Models: Computational Aspects
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen +1
In this paper we propose two behavioral distances that support approximate reasoning on Stochastic Markov Models (SMMs), that are continuous-time stochastic transition systems wher…