The following pages link to (Q5009421):
Displaying 7 items.
- Logical characterization of branching metrics for nondeterministic probabilistic transition systems (Q2272986) (← links)
- Deciding probabilistic bisimilarity distance one for probabilistic automata (Q2306848) (← links)
- (Q4965819) (← links)
- Monads and Quantitative Equational Theories for Nondeterminism and Probability (Q5089294) (← links)
- (Q5875370) (← links)
- Deciding probabilistic bisimilarity distance one for labelled Markov chains (Q6041138) (← links)
- Relative approximate bisimulations for fuzzy picture automata (Q6559031) (← links)