Generalized Bisimulation Metrics
From MaRDI portal
Recommendations
- Up-to techniques for generalized bisimulation metrics
- Bisimulation metrics for weighted automata
- scientific article; zbMATH DE number 1231637
- scientific article; zbMATH DE number 4104403
- Bisimulation metrics for continuous Markov decision processes
- Weak bisimulation metrics in models with nondeterminism and continuous state spaces
- Bisimulations and bisimulation quotients of generalized Veltman models
- A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces
- Bisimulation and divergence
- Bisimulation indexes and their applications
Cited in
(28)- SOS specifications for uniformly continuous operators
- Fibrational bisimulations and quantitative reasoning
- How adaptive and reliable is your program?
- A quantified coalgebraic van Benthem theorem
- Logical characterization of branching metrics for nondeterministic probabilistic transition systems
- Differential logical relations. II: Increments and derivatives
- Model checking differentially private properties
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi
- Bisimulations between generalized Veltman models and Veltman models
- Up-to techniques for generalized bisimulation metrics
- Up-to techniques for behavioural metrics via fibrations
- (Metric) bisimulation games and real-valued modal logics for coalgebras
- The big-O problem for labelled Markov chains and weighted automata
- Differential logical relations. I: The simply-typed case
- The big-O problem
- Characteristic logics for behavioural hemimetrics via fuzzy lax extensions
- Asymmetric Distances for Approximate Differential Privacy
- Bisimilarity distances for approximate differential privacy
- A framework to measure the robustness of programs in the unpredictable environment
- Up-to techniques for behavioural metrics via fibrations
- Logical foundations of quantitative equality
- A partial metric semantics of higher-order types and approximate program transformations
- The complexity of verifying loop-free programs as differentially private
- Behavioural metrics: compositionality of the Kantorovich lifting and an application to up-to techniques
- Contextual behavioural metrics
- Logical characterization of bisimulation metrics
- Quantitative equality in substructural logic via Lipschitz doctrines
- A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces
This page was built for publication: Generalized Bisimulation Metrics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3190107)
