Confluence reduction for Markov automata
divergence-sensitive branching bisimulation
scientific article; zbMATH DE number 6680836
scientific article