The following pages link to Validation of Stochastic Systems (Q5325833):
Displaying 26 items.
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
- Weak bisimulation for probabilistic timed automata (Q606996) (← links)
- Probabilistic logical characterization (Q627128) (← links)
- The compositional construction of Markov processes (Q633811) (← links)
- A hierarchy of probabilistic system types (Q703518) (← links)
- Branching bisimulation congruence for probabilistic systems (Q764289) (← links)
- Switched PIOA: parallel composition via distributed scheduling (Q854167) (← links)
- Axiomatizations for probabilistic finite-state behaviors (Q875517) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- Making random choices invisible to the scheduler (Q979081) (← links)
- Compositional strategy synthesis for stochastic games with multiple objectives (Q1641028) (← links)
- Task-structured probabilistic I/O automata (Q1745718) (← links)
- \(L^\ast\)-based learning of Markov decision processes (extended version) (Q1982638) (← links)
- Relating strong behavioral equivalences for processes with nondeterminism and probabilities (Q2253178) (← links)
- Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes (Q2257984) (← links)
- Determining asynchronous test equivalence for probabilistic processes (Q2671816) (← links)
- Leveraging weighted automata in compositional reasoning about concurrent probabilistic systems (Q2819835) (← links)
- Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations (Q2830042) (← links)
- A hierarchy of probabilistic system types (Q2843720) (← links)
- The compositional construction of Markov processes II (Q3006162) (← links)
- On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems (Q3599065) (← links)
- (Q4782099) (← links)
- Probabilistic Analysis of Binary Sessions (Q5089279) (← links)
- Conditional Probabilities over Probabilistic and Nondeterministic Systems (Q5458326) (← links)
- Causal Unfoldings (Q5875372) (← links)
- Mixed nondeterministic-probabilistic automata: blending graphical probabilistic models with nondeterminism (Q6201390) (← links)
