Pages that link to "Item:Q1854314"

The following pages link to Testing preorders for probabilistic processes. (Q1854314):

Displaying 30 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)
• Model-based testing of probabilistic systems (Q682363) (← links)
• Fair testing (Q865623) (← links)
• A precongruence format for should testing preorder (Q974134) (← links)
• Testing from a stochastic timed system with a fault model (Q1001893) (← links)
• An invitation to friendly testing (Q1273070) (← links)
• Basic observables for processes (Q1286368) (← links)
• Composition and behaviors of probabilistic I/O automata (Q1392272) (← links)
• Algebraic theory of probabilistic and nondeterministic processes. (Q1400156) (← links)
• Algebraic theory of probabilistic processes. (Q1400293) (← links)
• Testing preorders for probabilistic processes can be characterized by simulations (Q1603706) (← links)
• Additive models of probabilistic processes (Q1607220) (← links)
• Using schedulers to test probabilistic distributed systems (Q1941881) (← links)
• Characterisations of testing preorders for a finite probabilistic \(\pi\)-calculus (Q1941882) (← links)
• Characterization of simulation by probabilistic testing (Q2026807) (← links)
• Relating strong behavioral equivalences for processes with nondeterminism and probabilities (Q2253178) (← links)
• Specification, testing and implementation relations for symbolic-probabilistic systems (Q2368993) (← links)
• Non-bisimulation-based Markovian behavioral equivalences (Q2373649) (← links)
• Real-reward testing for probabilistic processes (Q2453107) (← links)
• \(\pi\)-calculus with noisy channels (Q2570971) (← links)
• Determining asynchronous test equivalence for probabilistic processes (Q2671816) (← links)
• Characterising Testing Preorders for Broadcasting Distributed Systems (Q2811926) (← links)
• Remarks on testing probabilistic processes (Q2864156) (← links)
• Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems (Q3613092) (← links)
• Probabilistic Analysis of Binary Sessions (Q5089279) (← links)
• Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity (Q5262954) (← links)
• Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders (Q5428916) (← links)
• A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems (Q5458058) (← links)
• Testing probabilistic automata (Q6104379) (← links)