3 citations · 3 across the 1 of their papers we have counts for
1 paper
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…