Pages that link to "Item:Q3518278"
From MaRDI portal
The following pages link to Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems (Q3518278):
Displaying 10 items.
- On behavioural pseudometrics and closure ordinals (Q456100) (← links)
- A modal characterization of alternating approximate bisimilarity (Q479808) (← links)
- Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes (Q974113) (← links)
- Polynomial-time algorithms for computing distances of fuzzy transition systems (Q1749476) (← links)
- Deciding probabilistic bisimilarity distance one for probabilistic automata (Q2306848) (← links)
- (Q4558787) (← links)
- (Q5111641) (← links)
- (Q5856412) (← links)
- Sound approximate and asymptotic probabilistic bisimulations for PCTL (Q6135748) (← links)
- Computing bisimilarity metrics for probabilistic timed automata (Q6536354) (← links)
