The following pages link to (Q5111641):
Displaying 8 items.
- On the metric-based approximate minimization of Markov chains (Q1785848) (← 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)
- Sound approximate and asymptotic probabilistic bisimulations for PCTL (Q6135748) (← links)
- A monoidal view on fixpoint checks (Q6535504) (← links)
- Computing bisimilarity metrics for probabilistic timed automata (Q6536354) (← links)
- Relative approximate bisimulations for fuzzy picture automata (Q6559031) (← links)