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