The following pages link to (Q4223011):
Displaying 8 items.
- Testing probabilistic equivalence through reinforcement learning (Q383369) (← links)
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
- Metrics for labelled Markov processes (Q596029) (← links)
- Algebraic theory of probabilistic processes. (Q1400293) (← links)
- Additive models of probabilistic processes (Q1607220) (← links)
- Probabilistic bisimilarity as testing equivalence (Q1680507) (← links)
- Remarks on Testing Probabilistic Processes (Q2864156) (← links)
- Probabilistic Barbed Congruence (Q2870293) (← links)
