The following pages link to Stochastic Relations (Q5309952):
Displaying 30 items.
- A metrized duality theorem for Markov processes (Q283765) (← links)
- Algebraic properties of stochastic effectivity functions (Q406467) (← links)
- Modalities in the Stone age: a comparison of coalgebraic logics (Q418820) (← links)
- Lattice properties of congruences for stochastic relations (Q424543) (← links)
- Stochastic coalgebraic logic: bisimilarity and behavioral equivalence (Q947269) (← links)
- Kleisli morphisms and randomized congruences for the Giry monad (Q995624) (← links)
- Erratum and addendum: ``Eilenberg-Moore algebras for stochastic relations'' (Q999266) (← links)
- Coalgebraic logic for stochastic right coalgebras (Q1023291) (← links)
- Domain semantics of possibility computations (Q1031684) (← links)
- When are stochastic transition systems tameable? (Q1648646) (← links)
- Lévy processes on smooth manifolds with a connection (Q2076622) (← links)
- Structural operational semantics for continuous state stochastic transition systems (Q2341700) (← links)
- Probabilistic NetKAT (Q2802486) (← links)
- Categories of Timed Stochastic Relations (Q2805158) (← links)
- Equational Coalgebraic Logic (Q2805164) (← links)
- A stochastic interpretation of propositional dynamic logic: expressivity (Q2892686) (← links)
- A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems (Q2937731) (← links)
- Commutative Semantics for Probabilistic Programming (Q2988671) (← links)
- Coalgebraic Logic over Measurable Spaces: Behavioral and Logical Equivalence (Q2994480) (← links)
- Coalgebraic logic over general measurable spaces – a survey (Q3005987) (← links)
- Modular Markovian Logic (Q3012934) (← links)
- Weak bisimulations for the Giry monad (Q3060190) (← links)
- (Q3779792) (← links)
- Disintegration and Bayesian inversion via string diagrams (Q5243152) (← links)
- Bisimilarity is not Borel (Q5361144) (← links)
- Bisimilarity of Distributionally Equivalent Markov Transition Systems (Q5415607) (← links)
- Random Measurable Selections (Q5418972) (← links)
- Approximating Markov Processes by Averaging (Q5895176) (← links)
- Coalgebraic tools for randomness-conserving protocols (Q5925546) (← links)
- Stone duality for relations (Q6612781) (← links)