8 citations · 27 across the 10 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…