The following pages link to (Q4608673):
Displaying 5 items.
- Complete axiomatization for the total variation distance of Markov chains (Q2130580) (← links)
- A complete axiomatization of weighted branching bisimulation (Q2182679) (← links)
- (Q4558787) (← links)
- Deciding probabilistic bisimilarity distance one for labelled Markov chains (Q6041138) (← links)
- Explainability of probabilistic bisimilarity distances for labelled Markov chains (Q6091199) (← links)