Expressivity of bisimulation pseudometrics over analytic state spaces

DOI10.4230/LIPICS.CALCO.2025.13MaRDI QIDQ7298153zbMATH OpenFDO

Authors Daniel Luckhardt, Harsh Beohar, Clemens Kupke

Publication date 16 July 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4230/LIPICS.CALCO.2025.13

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• A general duality theorem for marginal problems
• Algebra and Coalgebra in Computer Science
• Bisimulation for labelled Markov processes
• Bisimulation metrics for continuous Markov decision processes
• Categorical logic and type theory
• Equivalence notions and model minimization in Markov decision processes
• Expressive Logics for Coinductive Predicates
• Expressive quantale-valued logics for coalgebras: an adjunction-based approach
• Expressivity of quantitative modal logics categorical foundations via codensity and approximation
• Generalizations of analytic and standard measurable spaces.
• scientific article; zbMATH DE number 3137662 (Why is no real title available?)
• scientific article; zbMATH DE number 5501715 (Why is no real title available?)
• scientific article; zbMATH DE number 3688686 (Why is no real title available?)
• scientific article; zbMATH DE number 3764843 (Why is no real title available?)
• scientific article; zbMATH DE number 42114 (Why is no real title available?)
• scientific article; zbMATH DE number 1315585 (Why is no real title available?)
• scientific article; zbMATH DE number 1754609 (Why is no real title available?)
• scientific article; zbMATH DE number 1864592 (Why is no real title available?)
• scientific article; zbMATH DE number 3894002 (Why is no real title available?)
• Measures on topological spaces
• Metrics for labeled Markov systems
• Metrics for labelled Markov processes
• Model theory for metric structures
• On quasi-compact measures
• On the Monge-Kantorovitch duality theorem
• Quantitative Hennessy-Milner theorems via notions of density
• Real Analysis and Probability
• Reinforcement learning. An introduction
• Sur une définition des ensembles mesurables B sans nombres transfinis.
• The Current Theory of Analytic Sets
• The existence of regular conditional probabilities: Necessary and sufficient conditions
• Two classes of measures
• Up-to techniques for behavioural metrics via fibrations

This page was built for publication: Expressivity of bisimulation pseudometrics over analytic state spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7298153)