Pages that link to "Item:Q1398379"

The following pages link to Approximating labelled Markov processes (Q1398379):

Displaying 26 items.

• Approximating bisimilarity for Markov processes (Q265837) (← links)
• Approximating Markov processes through filtration (Q442296) (← links)
• Metrics for labelled Markov processes (Q596029) (← links)
• A game-based abstraction-refinement framework for Markov decision processes (Q600979) (← links)
• Logical characterizations of simulation and bisimulation for fuzzy transition systems (Q679804) (← links)
• Parametric probabilistic transition systems for system design and analysis (Q877158) (← links)
• Probabilistic bisimilarity as testing equivalence (Q1680507) (← links)
• \textsc{ULTraS} at work: compositionality metaresults for bisimulation and trace semantics (Q1683708) (← links)
• Constructive logical characterizations of bisimilarity for reactive probabilistic systems (Q1731513) (← links)
• Domain theory, testing and simulation for labelled Markov processes (Q1770416) (← links)
• A behavioural pseudometric for probabilistic transition systems (Q1770428) (← links)
• A probabilistic calculus of cyber-physical systems (Q2042728) (← links)
• Bisimulation for Feller-Dynkin processes (Q2133163) (← links)
• Similarity quantification for linear stochastic systems: a coupling compensator approach (Q2165973) (← 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)
• Comparative branching-time semantics for Markov chains (Q2387196) (← links)
• Expressiveness of probabilistic modal logics: a gradual approach (Q2417857) (← links)
• Bisimulation and cocongruence for probabilistic systems (Q2495642) (← links)
• Labelled Markov Processes as Generalised Stochastic Relations (Q2864159) (← links)
• Proving Approximate Implementations for Probabilistic I/O Automata (Q2864525) (← links)
• Approximating Labelled Markov Processes Again! (Q2888484) (← links)
• A Duality Theorem for Real C * Algebras (Q2888494) (← links)
• A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems (Q2937731) (← links)
• On Abstraction of Probabilistic Systems (Q2937733) (← links)
• (Q5009413) (← links)