Pages that link to "Item:Q1400292"

The following pages link to Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. (Q1400292):

Displaying 25 items.

• Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey (Q271706) (← links)
• Approximating Markov processes through filtration (Q442296) (← links)
• Stochastic coalgebraic logic: bisimilarity and behavioral equivalence (Q947269) (← links)
• Kleisli morphisms and randomized congruences for the Giry monad (Q995624) (← links)
• When are stochastic transition systems tameable? (Q1648646) (← links)
• Bisimulation for Feller-Dynkin processes (Q2133163) (← links)
• Towards a classification of behavioural equivalences in continuous-time Markov processes (Q2133467) (← links)
• Weak bisimulation is sound and complete for pCTL\(^*\) (Q2266992) (← links)
• Logical characterization of fluid equivalences (Q2323132) (← links)
• The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator (Q2372202) (← 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)
• Model checking for performability (Q2843861) (← links)
• Modular Markovian Logic (Q3012934) (← links)
• Bisimulations for non-deterministic labelled Markov processes (Q3225737) (← links)
• Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains (Q3543299) (← links)
• Equilibrium and termination II: the case of Petri nets (Q4917190) (← links)
• Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking (Q5166754) (← links)
• Bisimulation and Simulation Relations for Markov Chains (Q5262953) (← links)
• Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations (Q5418954) (← links)
• Probabilistic Model Checking for Energy-Utility Analysis (Q5418957) (← links)
• Compositional Design of Stochastic Timed Automata (Q5740181) (← links)
• When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus (Q6041667) (← links)
• Behavioural equivalences for continuous-time Markov processes (Q6149932) (← links)