2026-08-01T18:35:17Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:23022 2026-04-20T11:52:48Z ddc:004 open_access

Behavioural Metrics and Quantitative Logics (Dagstuhl Seminar 24432) König, Barbara Mardare, Radu Panangaden, Prakash Rot, Jurriaan Clerc, Florence Behavioural metrics quantitative equational reasoning quantitative logics This report documents the program and the outcome of Dagstuhl Seminar "Behavioural Metrics and Quantitative Logics" (24432). Behavioural metrics and quantitative logics specify quantitative aspects of systems. A metric measures how far apart two systems are in their behaviour while a quantititative logic evaluates the degree to which a state satisfies a formula. They are often intimately connected via a Hennessy-Milner theorem stating that the distance induced by a quantitative logic coincides with behavioural distance. There are various applications in model-checking, differential privacy, hybrid systems and learning. Several challenges in this area have been identified: studying suitable metrics and their corresponding logics, generalizing to the setting of coalgebras by parameterizing the branching type of the system under consideration, developing methods of quantitative algebraic reasoning, finding efficient methods for computing behavioural methods. This Dagstuhl Seminar provided a forum to researchers working in this area, to discuss the state-of-the-art and further developments, and in particular address applications in various domains. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Barbara König and Radu Mardare and Prakash Panangaden and Jurriaan Rot and Florence Clerc 2025 Is Part Of Dagstuhl Reports, Volume 14, Issue 10 (2025) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagRep.14.10.58 urn:nbn:de:0030-drops-230222 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.10.58 eng https://creativecommons.org/licenses/by/4.0/legalcode