Pages that link to "Item:Q265837"
From MaRDI portal
The following pages link to Approximating bisimilarity for Markov processes (Q265837):
Displaying 6 items.
- Approximating Markov processes through filtration (Q442296) (← links)
- (Q4558787) (← links)
- Bisimulation and Simulation Relations for Markov Chains (Q5262953) (← links)
- Deciding probabilistic bisimilarity distance one for labelled Markov chains (Q6041138) (← links)
- Explainability of probabilistic bisimilarity distances for labelled Markov chains (Q6091199) (← links)
- THE ZHOU ORDINAL OF LABELLED MARKOV PROCESSES OVER SEPARABLE SPACES (Q6148464) (← links)