The following pages link to Testing probabilistic automata (Q6104379):
Displayed 8 items.
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
- A randomized encoding of the \(\pi\)-calculus with mixed choice (Q555750) (← links)
- Algebraic theory of probabilistic processes. (Q1400293) (← links)
- Testing preorders for probabilistic processes. (Q1854314) (← links)
- Relating strong behavioral equivalences for processes with nondeterminism and probabilities (Q2253178) (← links)
- Specification, testing and implementation relations for symbolic-probabilistic systems (Q2368993) (← links)
- Real-reward testing for probabilistic processes (Q2453107) (← links)
- Remarks on Testing Probabilistic Processes (Q2864156) (← links)