12 citations · 21 across the 8 of their papers we have counts for
1 paper · 2 filters
Alessandro Aldini, Marco Bernardo
A new weak bisimulation semantics is defined for Markov automata that, in addition to abstracting from internal actions, sums up the expected values of consecutive exponentially di…