Pages that link to "Item:Q4719350"
From MaRDI portal
The following pages link to Semi-pullbacks and bisimulation in categories of Markov processes (Q4719350):
Displayed 13 items.
- Unprovability of the logical characterization of bisimulation (Q549668) (← links)
- A computable approach to measure and integration theory (Q1021572) (← links)
- Using coalgebras and the Giry monad for interpreting game logics -- a tutorial (Q1712599) (← links)
- The converse of a stochastic relation (Q1764800) (← links)
- Category-theoretic structure for independence and conditional independence (Q2130599) (← links)
- Bisimulation and cocongruence for probabilistic systems (Q2495642) (← links)
- Bisimulation for labelled Markov processes (Q2506488) (← links)
- Coalgebraic logic over general measurable spaces – a survey (Q3005987) (← links)
- (Q4989397) (← links)
- Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement (Q5348126) (← links)
- Bisimilarity is not Borel (Q5361144) (← links)
- Approximating Markov Processes by Averaging (Q5895176) (← links)
- THE ZHOU ORDINAL OF LABELLED MARKOV PROCESSES OVER SEPARABLE SPACES (Q6148464) (← links)