Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content

Showing 1–5 of 5 results for author: Gurke, S

Searching in archive cs. Search in all archives.
.
  1. arXiv:2404.19632  [pdf, other

    cs.LO

    Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques

    Authors: Keri D'Angelo, Sebastian Gurke, Johanna Maria Kirss, Barbara König, Matina Najafi, Wojciech Różowski, Paul Wild

    Abstract: Behavioural distances of transition systems modelled via coalgebras for endofunctors generalize traditional notions of behavioural equivalence to a quantitative setting, in which states are equipped with a measure of how (dis)similar they are. Endowing transition systems with such distances essentially relies on the ability to lift functors describing the one-step behavior of the transition system… ▽ More

    Submitted 23 July, 2024; v1 submitted 30 April, 2024; originally announced April 2024.

    Journal ref: Published at CONCUR 2024

  2. arXiv:2310.05711  [pdf, other

    cs.LO

    Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach

    Authors: Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing, Jonas Forster, Lutz Schröder, Paul Wild

    Abstract: We address the task of deriving fixpoint equations from modal logics characterizing behavioural equivalences and metrics (summarized under the term conformances). We rely on earlier work that obtains Hennessy-Milner theorems as corollaries to a fixpoint preservation property along Galois connections between suitable lattices. We instantiate this to the setting of coalgebras, in which we spell out… ▽ More

    Submitted 31 January, 2024; v1 submitted 9 October, 2023; originally announced October 2023.

  3. arXiv:2307.14826  [pdf, other

    cs.LO

    Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras

    Authors: Jonas Forster, Lutz Schröder, Paul Wild, Harsh Beohar, Sebastian Gurke, Karla Messing

    Abstract: Coalgebra, as the abstract study of state-based systems, comes naturally equipped with a notion of behavioural equivalence that identifies states exhibiting the same behaviour. In many cases, however, this equivalence is finer than the intended semantics. Particularly in automata theory, behavioural equivalence of nondeterministic automata is essentially bisimilarity, and thus does not coincide wi… ▽ More

    Submitted 26 April, 2024; v1 submitted 27 July, 2023; originally announced July 2023.

    MSC Class: 03B45 (Primary) 03B52 (Secondary) ACM Class: F.4.1

  4. arXiv:2306.01487  [pdf, ps, other

    cs.LO

    Quantitative Graded Semantics and Spectra of Behavioural Metrics

    Authors: Jonas Forster, Lutz Schröder, Paul Wild, Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing

    Abstract: Behavioural metrics provide a quantitative refinement of classical two-valued behavioural equivalences on systems with quantitative data, such as metric or probabilistic transition systems. In analogy to the linear-time/branching-time spectrum of two-valued behavioural equivalences on transition systems, behavioural metrics vary in granularity. We provide a unifying treatment of spectra of behavio… ▽ More

    Submitted 18 October, 2023; v1 submitted 2 June, 2023; originally announced June 2023.

    MSC Class: 03B45; 03B52; 68Q85 ACM Class: F.4.1

  5. arXiv:2207.05407  [pdf, other

    cs.LO

    Hennessy-Milner Theorems via Galois Connections

    Authors: Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing

    Abstract: We introduce a general and compositional, yet simple, framework that allows us to derive soundness and expressiveness results for modal logics characterizing behavioural equivalences or metrics (also known as Hennessy-Milner theorems). It is based on Galois connections between sets of (real-valued) predicates on the one hand and equivalence relations/metrics on the other hand and covers a part of… ▽ More

    Submitted 14 January, 2023; v1 submitted 12 July, 2022; originally announced July 2022.