The following pages link to (Q4791270):
Displayed 23 items.
- A metrized duality theorem for Markov processes (Q283765) (← links)
- A pseudometric in supervisory control of probabilistic discrete event systems (Q351739) (← links)
- On behavioural pseudometrics and closure ordinals (Q456100) (← links)
- Measuring the confinement of probabilistic systems (Q557887) (← links)
- Metrics for labelled Markov processes (Q596029) (← links)
- Quantitative analysis of weighted transition systems (Q710680) (← links)
- On metrics for probabilistic systems: definitions and algorithms (Q971582) (← links)
- Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes (Q974113) (← links)
- Polynomial-time algorithms for computing distances of fuzzy transition systems (Q1749476) (← links)
- A behavioural pseudometric for probabilistic transition systems (Q1770428) (← links)
- Probabilistic divide \& congruence: branching bisimilarity (Q2007735) (← links)
- Weak bisimulation is sound and complete for pCTL\(^*\) (Q2266992) (← links)
- Logical characterization of branching metrics for nondeterministic probabilistic transition systems (Q2272986) (← links)
- Recursively defined metric spaces without contraction (Q2373743) (← links)
- Bisimulation and cocongruence for probabilistic systems (Q2495642) (← links)
- Approximating and computing behavioural distances in probabilistic transition systems (Q2503333) (← links)
- Proving Approximate Implementations for Probabilistic I/O Automata (Q2864525) (← links)
- (Q4580323) (← links)
- (Q5009413) (← links)
- Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations (Q5418954) (← links)
- Bisimulation for Markov Decision Processes through Families of Functional Expressions (Q5418971) (← links)
- Non Expansive ε-Bisimulations (Q5505435) (← links)
- Approximating Markov Processes by Averaging (Q5895176) (← links)