The following pages link to Sonja Georgievska (Q764287):
Displaying 6 items.
- Branching bisimulation congruence for probabilistic systems (Q764289) (← links)
- Probabilistic may/must testing: retaining probabilities by restricted schedulers (Q1941883) (← links)
- Retaining the Probabilities in Probabilistic Testing Theory (Q3557845) (← links)
- On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems (Q3599065) (← links)
- (Q5151036) (← links)
- Branching Bisimulation Congruence for Probabilistic Systems (Q5415667) (← links)