Pages that link to "Item:Q1400292"
From MaRDI portal
The following pages link to Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. (Q1400292):
Displayed 16 items.
- 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)
- Weak bisimulation is sound and complete for pCTL\(^*\) (Q2266992) (← links)
- The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator (Q2372202) (← links)
- Comparative branching-time semantics for Markov chains (Q2387196) (← 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)