Pages that link to "Item:Q1960528"
From MaRDI portal
The following pages link to Bisimulation for probabilistic transition systems: A coalgebraic approach (Q1960528):
Displaying 47 items.
- Coalgebras for fuzzy transition systems (Q276401) (← links)
- Identifying all preorders on the subdistribution monad (Q283773) (← links)
- Testing probabilistic equivalence through reinforcement learning (Q383369) (← links)
- Structural operational semantics for stochastic and weighted transition systems (Q383372) (← links)
- Modalities in the Stone age: a comparison of coalgebraic logics (Q418820) (← links)
- Measurable stochastics for Brane calculus (Q418841) (← links)
- Approximating Markov processes through filtration (Q442296) (← links)
- A logical duality for underspecified probabilistic systems (Q532396) (← links)
- Fuzzy Prokhorov metric on the set of probability measures (Q549342) (← links)
- On the final sequence of a finitary set functor (Q557796) (← links)
- Measuring the confinement of probabilistic systems (Q557887) (← links)
- Metrics for labelled Markov processes (Q596029) (← links)
- Bialgebras for structural operational semantics: an introduction (Q639646) (← links)
- A hierarchy of probabilistic system types (Q703518) (← links)
- A compositional approach to defining logics for coalgebras (Q703520) (← links)
- Idempotent probability measures on ultrametric spaces (Q924245) (← links)
- Coalgebraic logic (Q1295427) (← links)
- Approximating labelled Markov processes (Q1398379) (← links)
- Universal coalgebra: A theory of systems (Q1583483) (← links)
- Constructive logical characterizations of bisimilarity for reactive probabilistic systems (Q1731513) (← links)
- Approximate relational Hoare logic for continuous random samplings (Q1744393) (← links)
- Domain theory, testing and simulation for labelled Markov processes (Q1770416) (← links)
- A behavioural pseudometric for probabilistic transition systems (Q1770428) (← links)
- Behavioural differential equations: a coinductive calculus of streams, automata, and power series (Q1884876) (← links)
- Iterated covariant powerset is not a monad (Q2134821) (← links)
- Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes (Q2257984) (← links)
- Metrization of free groups on ultrametric spaces (Q2268630) (← links)
- Structural operational semantics for continuous state stochastic transition systems (Q2341700) (← links)
- Recursively defined metric spaces without contraction (Q2373743) (← links)
- Reduction semantics in Markovian process algebra (Q2413025) (← links)
- Expressiveness of probabilistic modal logics: a gradual approach (Q2417857) (← links)
- Modular construction of complete coalgebraic logics (Q2464936) (← links)
- Bisimulation relations for weighted automata (Q2481957) (← links)
- A modular approach to defining and characterising notions of simulation (Q2495641) (← links)
- Bisimulation and cocongruence for probabilistic systems (Q2495642) (← links)
- Approximating and computing behavioural distances in probabilistic transition systems (Q2503333) (← links)
- Bisimulation for labelled Markov processes (Q2506488) (← links)
- A theory of stochastic systems. I: Stochastic automata (Q2575854) (← links)
- GSOS for probabilistic transition systems (Q2842551) (← links)
- Approximating Labelled Markov Processes Again! (Q2888484) (← links)
- Relating Coalgebraic Notions of Bisimulation (Q2888487) (← links)
- A Formalized Hierarchy of Probabilistic System Types (Q2945633) (← links)
- Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra (Q3005988) (← links)
- A Demonic Approach to Information in Probabilistic Systems (Q3184680) (← links)
- Structural Operational Semantics for Weighted Transition Systems (Q3184746) (← links)
- Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence (Q5060192) (← links)
- (Q5111636) (← links)
