A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces
From MaRDI portal
(Redirected from Publication:831141)
Recommendations
- Weak bisimulation metrics in models with nondeterminism and continuous state spaces
- Bisimulation metrics for continuous Markov decision processes
- Generalized Bisimulation Metrics
- Bisimulation metrics for weighted automata
- Weak Bisimulation Approximants
- Processes, Terms and Cycles: Steps on the Road to Infinity
- scientific article; zbMATH DE number 2040321
- Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours
- Publication:4941915
- Axiomatizing bisimulation equivalences and metrics from probabilistic SOS rules
Cites work
- scientific article; zbMATH DE number 1696496 (Why is no real title available?)
- scientific article; zbMATH DE number 4039251 (Why is no real title available?)
- scientific article; zbMATH DE number 729460 (Why is no real title available?)
- scientific article; zbMATH DE number 1759621 (Why is no real title available?)
- scientific article; zbMATH DE number 2090712 (Why is no real title available?)
- scientific article; zbMATH DE number 1444349 (Why is no real title available?)
- A behavioural pseudometric for probabilistic transition systems
- A calculus of cyber-physical systems
- A compositional modelling and analysis framework for stochastic hybrid systems
- A compositional modelling and verification framework for stochastic hybrid systems
- A logic for reasoning about time and reliability
- A probabilistic calculus of cyber-physical systems
- A process algebra for timed systems
- Behavioural pseudometrics for nondeterministic probabilistic systems
- Bisimulation through probabilistic testing
- Branching bisimulation congruence for probabilistic systems
- Branching bisimulation for probabilistic systems: characteristics and decidability
- Characterising Testing Preorders for Finite Probabilistic Processes
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi
- Compositional weak metrics for group key update
- Compositionality of approximate bisimulation for probabilistic systems
- Computing behavioral distances, compositionally
- Converging from branching to linear metrics on Markov chains
- Equational reasonings in wireless network gossip protocols
- Fixed-point characterization of compositionality properties of probabilistic processes combinators
- Formal verification of parallel programs
- Foundations of Software Science and Computational Structures
- Game Refinement Relations and Metrics
- Generalized Bisimulation Metrics
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Logical characterization of branching metrics for nondeterministic probabilistic transition systems
- Measurability and safety verification for stochastic hybrid systems
- Measures, Integrals and Martingales
- Metric reasoning about λ-terms: The affine case
- Metric reasoning about \(\lambda\)-terms: the general case
- Metrics for labelled Markov processes
- Monads and Quantitative Equational Theories for Nondeterminism and Probability
- Probabilistic divide \& congruence: branching bisimilarity
- Probabilistic extensions of process algebras.
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
- Raiders of the lost equivalence: probabilistic branching bisimilarity
- SOS specifications for uniformly continuous operators
- Stability of a 4th-order curvature condition arising in optimal transport theory
- Taking it to the limit: approximate reasoning for Markov processes
- The theory of interactive generalized semi-Markov processes
- Weak bisimulation metrics in models with nondeterminism and continuous state spaces
- Weak simulation quasimetric in a gossip scenario
Cited in
(4)
This page was built for publication: A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q831141)
