Pages that link to "Item:Q4608672"
From MaRDI portal
The following pages link to Linear Distances between Markov Chains (Q4608672):
Displaying 10 items.
- SOS specifications for uniformly continuous operators (Q1678172) (← links)
- The metric linear-time branching-time spectrum on nondeterministic probabilistic processes (Q1989321) (← links)
- A probabilistic calculus of cyber-physical systems (Q2042728) (← links)
- Logical characterization of branching metrics for nondeterministic probabilistic transition systems (Q2272986) (← links)
- On resistance distance of Markov chain and its sum rules (Q2419004) (← links)
- On the Relationship Between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context (Q2988377) (← links)
- (Q3384913) (← links)
- Compositional weak metrics for group key update (Q5111289) (← links)
- Markov chain of distances between parked cars (Q5458979) (← links)
- Learning model checking and the kernel trick for signal temporal logic on stochastic processes (Q6535569) (← links)