Analyzing Divergence for Nondeterministic Probabilistic Models

Hao Wu, Yuxi Fu, Huan Long +2

Branching and weak probabilistic bisimilarities are two well-known notions capturing behavioral equivalence between nondeterministic probabilistic systems. For probabilistic system…