The following pages link to (Q4484498):
Displayed 9 items.
- A pseudometric in supervisory control of probabilistic discrete event systems (Q351739) (← links)
- Branching bisimulation congruence for probabilistic systems (Q764289) (← links)
- Parametric probabilistic transition systems for system design and analysis (Q877158) (← links)
- Weak bisimulation is sound and complete for pCTL\(^*\) (Q2266992) (← links)
- Comparative branching-time semantics for Markov chains (Q2387196) (← links)
- Branching bisimulation for probabilistic systems: characteristics and decidability (Q2491633) (← links)
- A Spectrum of Behavioral Relations over LTSs on Probability Distributions (Q3090826) (← links)
- Testing Finitary Probabilistic Processes (Q3184679) (← links)
- On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems (Q3599065) (← links)