Pages that link to "Item:Q6041138"
From MaRDI portal
The following pages link to Deciding probabilistic bisimilarity distance one for labelled Markov chains (Q6041138):
Displaying 6 items.
- Deciding probabilistic bisimilarity distance one for probabilistic automata (Q2306848) (← links)
- (Q4558787) (← links)
- (Q5009421) (← links)
- (Q5875370) (← links)
- Explainability of probabilistic bisimilarity distances for labelled Markov chains (Q6091199) (← links)
- Sound approximate and asymptotic probabilistic bisimulations for PCTL (Q6135748) (← links)