The following pages link to (Q4558787):
Displaying 3 items.
- Monads and Quantitative Equational Theories for Nondeterminism and Probability (Q5089294) (← 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)