The following pages link to (Q5875370):
Displaying 7 items.
- Deciding probabilistic bisimilarity distance one for probabilistic automata (Q2306848) (← links)
- (Q4558787) (← links)
- (Q4965819) (← links)
- Monads and Quantitative Equational Theories for Nondeterminism and Probability (Q5089294) (← links)
- Sound approximate and asymptotic probabilistic bisimulations for PCTL (Q6135748) (← links)
- Fixpoint Theory -- Upside Down (Q6135764) (← links)
- Computing bisimilarity metrics for probabilistic timed automata (Q6536354) (← links)