Pages that link to "Item:Q596029"
From MaRDI portal
The following pages link to Metrics for labelled Markov processes (Q596029):
Displayed 10 items.
- Parametric probabilistic transition systems for system design and analysis (Q877158) (← links)
- Approximate simulation relations for hybrid systems (Q939013) (← links)
- Characterize branching distance in terms of \((\eta , \alpha )\)-bisimilarity (Q1004387) (← links)
- Domain theory, testing and simulation for labelled Markov processes (Q1770416) (← links)
- Recursively defined metric spaces without contraction (Q2373743) (← links)
- Approximate bisimulation relations for constrained linear systems (Q2467487) (← links)
- Bisimulation and cocongruence for probabilistic systems (Q2495642) (← links)
- Approximating and computing behavioural distances in probabilistic transition systems (Q2503333) (← links)
- Simulation Hemi-metrics between Infinite-State Stochastic Games (Q5458350) (← links)
- Non Expansive ε-Bisimulations (Q5505435) (← links)