The following pages link to (Q3619416):
Displayed 50 items.
- A metrized duality theorem for Markov processes (Q283765) (← links)
- ``Keep definition, change category'' -- a practical approach to state-based system calculi (Q299180) (← links)
- The expectation monad in quantum foundations (Q320204) (← links)
- Algebraic properties of stochastic effectivity functions (Q406467) (← links)
- Measurable stochastics for Brane calculus (Q418841) (← links)
- A stochastic interpretation of game logic (Q516033) (← links)
- Generic weakest precondition semantics from monads enriched with order (Q890376) (← links)
- Behavioural equivalences for coalgebras with unobservable moves (Q890618) (← links)
- When are stochastic transition systems tameable? (Q1648646) (← links)
- SOS specifications for uniformly continuous operators (Q1678172) (← links)
- From probability monads to commutative effectuses (Q1683710) (← links)
- The metric linear-time branching-time spectrum on nondeterministic probabilistic processes (Q1989321) (← links)
- A probabilistic calculus of cyber-physical systems (Q2042728) (← links)
- Bisimulation metrics and norms for real-weighted automata (Q2064519) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- On \(\mathbf{MV} \)-coalgebras over the category of BL-algebras (Q2100417) (← links)
- Stick breaking, in coalgebra and probability (Q2104486) (← links)
- Continuous-variable nonlocality and contextuality (Q2124212) (← links)
- Bisimulation for Feller-Dynkin processes (Q2133163) (← links)
- Towards a classification of behavioural equivalences in continuous-time Markov processes (Q2133467) (← links)
- Hennessy-Milner results for probabilistic PDL (Q2133481) (← links)
- A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics (Q2189508) (← links)
- Structural operational semantics for continuous state stochastic transition systems (Q2341700) (← links)
- Precisely deciding CSL formulas through approximate model checking for CTMCs (Q2402369) (← links)
- Expressiveness of probabilistic modal logics: a gradual approach (Q2417857) (← links)
- Probabilistic NetKAT (Q2802486) (← links)
- A Theory of Slicing for Probabilistic Control Flow Graphs (Q2811339) (← links)
- A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems (Q2937731) (← links)
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (Q2948229) (← links)
- Modular Markovian Logic (Q3012934) (← links)
- Limits in categories of Vietoris coalgebras (Q3119464) (← links)
- Statistical Model Checking for Networks of Priced Timed Automata (Q3172845) (← links)
- (Q5020637) (← links)
- Bisimulation as a logical relation (Q5058364) (← links)
- (Q5087789) (← links)
- Monads and Quantitative Equational Theories for Nondeterminism and Probability (Q5089294) (← links)
- (Q5111641) (← links)
- (Q5214813) (← links)
- A channel-based perspective on conjugate priors (Q5220182) (← links)
- Disintegration and Bayesian inversion via string diagrams (Q5243152) (← links)
- Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations (Q5418954) (← links)
- The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata (Q5418964) (← links)
- Free Energy of Petri Nets (Q5418968) (← links)
- Bisimulation for Markov Decision Processes through Families of Functional Expressions (Q5418971) (← links)
- Random Measurable Selections (Q5418972) (← links)
- Affine Monads and Side-Effect-Freeness (Q5739449) (← links)
- Measure Transformer Semantics for Bayesian Machine Learning (Q5892490) (← links)
- Approximating Markov Processes by Averaging (Q5895176) (← links)
- Coalgebraic tools for randomness-conserving protocols (Q5925546) (← links)
- Beyond Bell's theorem. II: Scenarios with arbitrary causal structure (Q5963756) (← links)