20 citations · 39 across the 3 of their papers we have counts for
1 paper · 1 filter
Christian Eisentraut, Jens Chr. Godskesen, Holger Hermanns +2
Weak bisimilarity is a distribution-based equivalence notion for Markov automata. It has gained some popularity as the coarsest reasonable behavioural equivalence on Markov automat…