Pages that link to "Item:Q2506488"
From MaRDI portal
The following pages link to Bisimulation for labelled Markov processes (Q2506488):
Displaying 50 items.
- Approximating bisimilarity for Markov processes (Q265837) (← links)
- Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey (Q271706) (← links)
- On a categorical framework for coalgebraic modal logic (Q283748) (← links)
- A metrized duality theorem for Markov processes (Q283765) (← links)
- Testing probabilistic equivalence through reinforcement learning (Q383369) (← links)
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
- Algebraic properties of stochastic effectivity functions (Q406467) (← links)
- Measurable stochastics for Brane calculus (Q418841) (← links)
- Lattice properties of congruences for stochastic relations (Q424543) (← links)
- Approximating Markov processes through filtration (Q442296) (← links)
- Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation (Q453545) (← links)
- A logical duality for underspecified probabilistic systems (Q532396) (← links)
- Unprovability of the logical characterization of bisimulation (Q549668) (← links)
- Measuring the confinement of probabilistic systems (Q557887) (← links)
- Metrics for labelled Markov processes (Q596029) (← links)
- Logical characterizations of simulation and bisimulation for fuzzy transition systems (Q679804) (← links)
- A hierarchy of probabilistic system types (Q703518) (← links)
- Analysis and control of fuzzy discrete event systems using bisimulation equivalence (Q714871) (← links)
- Switched PIOA: parallel composition via distributed scheduling (Q854167) (← links)
- Eilenberg--Moore algebras for stochastic relations (Q859832) (← links)
- Behavioural equivalences for coalgebras with unobservable moves (Q890618) (← links)
- Stochastic coalgebraic logic: bisimilarity and behavioral equivalence (Q947269) (← links)
- Kleisli morphisms and randomized congruences for the Giry monad (Q995624) (← links)
- A computable approach to measure and integration theory (Q1021572) (← links)
- Coalgebraic logic for stochastic right coalgebras (Q1023291) (← links)
- Approximating labelled Markov processes (Q1398379) (← links)
- Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. (Q1400292) (← links)
- Measure and probability for concurrency theorists (Q1589655) (← links)
- Probabilistic bisimilarity as testing equivalence (Q1680507) (← links)
- Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems (Q1697986) (← links)
- Using coalgebras and the Giry monad for interpreting game logics -- a tutorial (Q1712599) (← links)
- Constructive logical characterizations of bisimilarity for reactive probabilistic systems (Q1731513) (← links)
- The converse of a stochastic relation (Q1764800) (← links)
- Domain theory, testing and simulation for labelled Markov processes (Q1770416) (← links)
- A behavioural pseudometric for probabilistic transition systems (Q1770428) (← links)
- Long-term values in Markov decision processes, (co)algebraically (Q1798787) (← links)
- Bisimulation for Feller-Dynkin processes (Q2133163) (← links)
- Towards a classification of behavioural equivalences in continuous-time Markov processes (Q2133467) (← links)
- Hennessy-Milner results for probabilistic PDL (Q2133481) (← links)
- Trust evidence logic (Q2146059) (← links)
- On the probabilistic bisimulation spectrum with silent moves (Q2182668) (← links)
- A fuzzy modal logic for fuzzy transition systems (Q2219078) (← links)
- A quantified coalgebraic van Benthem theorem (Q2233433) (← links)
- A compositional modelling and analysis framework for stochastic hybrid systems (Q2248073) (← links)
- Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes (Q2257984) (← links)
- Weak bisimulation is sound and complete for pCTL\(^*\) (Q2266992) (← links)
- Logical characterization of branching metrics for nondeterministic probabilistic transition systems (Q2272986) (← links)
- Structural operational semantics for continuous state stochastic transition systems (Q2341700) (← links)
- A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols (Q2368990) (← links)
- The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator (Q2372202) (← links)
