8 citations · 43 across the 17 of their papers we have counts for
1 paper · 2 filters
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…