Pages that link to "Item:Q627128"

The following pages link to Probabilistic logical characterization (Q627128):

Displaying 24 items.

• A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
• Differential privacy in probabilistic systems (Q529047) (← links)
• Logical characterizations of simulation and bisimulation for fuzzy transition systems (Q679804) (← links)
• Probabilistic bisimilarity as testing equivalence (Q1680507) (← links)
• Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems (Q1697986) (← links)
• Exploring probabilistic bisimulations. I (Q1941884) (← links)
• The metric linear-time branching-time spectrum on nondeterministic probabilistic processes (Q1989321) (← links)
• On the probabilistic bisimulation spectrum with silent moves (Q2182668) (← links)
• Limited approximate bisimulations and the corresponding rough approximations (Q2237122) (← links)
• Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes (Q2257984) (← links)
• Logical characterization of branching metrics for nondeterministic probabilistic transition systems (Q2272986) (← links)
• Trace semantics via determinization (Q2341701) (← links)
• A space-efficient simulation algorithm on probabilistic automata (Q2629854) (← links)
• Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations (Q2830042) (← links)
• A General Framework for Probabilistic Characterizing Formulae (Q2891432) (← links)
• Logical Characterizations of Behavioral Relations on Transition Systems of Probability Distributions (Q2946748) (← links)
• On the Semantics of Markov Automata (Q3012929) (← links)
• Bisimulations Meet PCTL Equivalences for Probabilistic Automata (Q3090825) (← links)
• A Spectrum of Behavioral Relations over LTSs on Probability Distributions (Q3090826) (← links)
• (Q3384913) (← links)
• (Q5009413) (← links)
• (Q5013870) (← links)
• Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions (Q5881801) (← links)
• Sound approximate and asymptotic probabilistic bisimulations for PCTL (Q6135748) (← links)