Generalized Bisimulation Metrics
From MaRDI portal
Publication:3190107
DOI10.1007/978-3-662-44584-6_4zbMATH Open1417.68123OpenAlexW2126634848MaRDI QIDQ3190107FDOQ3190107
Authors: Konstantinos Chatzikokolakis, Daniel Gebler, Catuscia Palamidessi, Lili Xu 
Publication date: 15 September 2014
Published in: CONCUR 2014 – Concurrency Theory (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-01011471/file/concur.pdf
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 (22)
- Title not available (Why is that?)
- A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces
- Up-to techniques for behavioural metrics via fibrations
- Bisimulations between generalized Veltman models and Veltman models
- How adaptive and reliable is your program?
- Asymmetric Distances for Approximate Differential Privacy
- A quantified coalgebraic van Benthem theorem
- SOS specifications for uniformly continuous operators
- Bisimilarity distances for approximate differential privacy
- (Metric) bisimulation games and real-valued modal logics for coalgebras
- Differential logical relations. I: The simply-typed case
- Logical characterization of branching metrics for nondeterministic probabilistic transition systems
- The big-O problem
- The big-O problem for labelled Markov chains and weighted automata
- Up-to techniques for behavioural metrics via fibrations
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi
- Differential logical relations. II: Increments and derivatives
- Logical foundations of quantitative equality
- Model checking differentially private properties
- Up-to techniques for generalized bisimulation metrics
- Fibrational bisimulations and quantitative reasoning
- A framework to measure the robustness of programs in the unpredictable environment
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)
