The following pages link to (Q4558787):
Displaying 5 items.
- Monads and Quantitative Equational Theories for Nondeterminism and Probability (Q5089294) (← links)
- Deciding probabilistic bisimilarity distance one for labelled Markov chains (Q6041138) (← links)
- Explainability of probabilistic bisimilarity distances for labelled Markov chains (Q6091199) (← links)
- Learning model checking and the kernel trick for signal temporal logic on stochastic processes (Q6535569) (← links)
- Beyond nonexpansive operations in quantitative algebraic reasoning (Q6649487) (← links)