Saved in:
| Main Authors: | D'Angelo, Keri, Gurke, Sebastian, Kirss, Johanna Maria, König, Barbara, Najafi, Matina, Różowski, Wojciech, Wild, Paul |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2404.19632 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
A Complete Quantitative Axiomatisation of Behavioural Distance of Regular Expressions
by: Różowski, Wojciech
Published: (2024)
by: Różowski, Wojciech
Published: (2024)
Quantitative Graded Semantics and Spectra of Behavioural Metrics
by: Forster, Jonas, et al.
Published: (2023)
by: Forster, Jonas, et al.
Published: (2023)
Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach
by: Beohar, Harsh, et al.
Published: (2023)
by: Beohar, Harsh, et al.
Published: (2023)
Generalized Kantorovich-Rubinstein Duality beyond Hausdorff and Kantorovich
by: Wild, Paul, et al.
Published: (2025)
by: Wild, Paul, et al.
Published: (2025)
A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes
by: Różowski, Wojciech, et al.
Published: (2026)
by: Różowski, Wojciech, et al.
Published: (2026)
Dependent Directed Wiring Diagrams for Composing Instantaneous Systems
by: D'Angelo, Keri, et al.
Published: (2025)
by: D'Angelo, Keri, et al.
Published: (2025)
A Completeness Theorem for Probabilistic Regular Expressions
by: Różowski, Wojciech, et al.
Published: (2023)
by: Różowski, Wojciech, et al.
Published: (2023)
Computing Fixpoints of Learned Functions: Chaotic Iteration and Simple Stochastic Games
by: Baldan, Paolo, et al.
Published: (2026)
by: Baldan, Paolo, et al.
Published: (2026)
Approximating Fixpoints of Approximated Functions
by: Baldan, Paolo, et al.
Published: (2025)
by: Baldan, Paolo, et al.
Published: (2025)
Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams
by: Lobbia, Gabriele, et al.
Published: (2024)
by: Lobbia, Gabriele, et al.
Published: (2024)
Weighted GKAT: Completeness and Complexity
by: Van Koevering, Spencer, et al.
Published: (2025)
by: Van Koevering, Spencer, et al.
Published: (2025)
An Abstract Account of Up-to Techniques for Inductive Behavioural Relations
by: Sangiorgi, Davide
Published: (2024)
by: Sangiorgi, Davide
Published: (2024)
Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras
by: Forster, Jonas, et al.
Published: (2023)
by: Forster, Jonas, et al.
Published: (2023)
Behavioural Conformances based on Lax Couplings
by: Wild, Paul, et al.
Published: (2025)
by: Wild, Paul, et al.
Published: (2025)
Coalgebraic Behavioral Metrics
by: Baldan, Paolo, et al.
Published: (2017)
by: Baldan, Paolo, et al.
Published: (2017)
Graded Monads and Behavioural Equivalence Games
by: Ford, Chase, et al.
Published: (2022)
by: Ford, Chase, et al.
Published: (2022)
Computing Distinguishing Formulae for Threshold-Based Behavioural Distances
by: Forster, Jonas, et al.
Published: (2026)
by: Forster, Jonas, et al.
Published: (2026)
Flipping and Forking
by: Przybyszewski, Wojciech, et al.
Published: (2025)
by: Przybyszewski, Wojciech, et al.
Published: (2025)
Non-expansive Fuzzy ALC
by: Gebhart, Stefan, et al.
Published: (2025)
by: Gebhart, Stefan, et al.
Published: (2025)
Non-Expansive Fuzzy Coalgebraic Logic
by: Gebhart, Stefan, et al.
Published: (2025)
by: Gebhart, Stefan, et al.
Published: (2025)
Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions
by: Stoltenow, Lara, et al.
Published: (2024)
by: Stoltenow, Lara, et al.
Published: (2024)
Grzegorczyk Logic Unlocked
by: Wołoszyn, Wojciech Aleksander
Published: (2025)
by: Wołoszyn, Wojciech Aleksander
Published: (2025)
Tameness Properties in Multiplicative Valued Difference Fields with Lift and Section
by: Kesting, Christoph
Published: (2024)
by: Kesting, Christoph
Published: (2024)
At the Edge of Putnam's Program: Limitative Results For Computable Inductive Logics
by: Mercier, Antoine, et al.
Published: (2026)
by: Mercier, Antoine, et al.
Published: (2026)
On the preservation of unification type of Heyting algebras and interior algebras
by: Düntsch, Ivo, et al.
Published: (2025)
by: Düntsch, Ivo, et al.
Published: (2025)
The Only Distributive Law Over the Powerset Monad Is the One You Know
by: Goncharov, Sergey, et al.
Published: (2026)
by: Goncharov, Sergey, et al.
Published: (2026)
Relators and Notions of Simulation Revisited
by: Goncharov, Sergey, et al.
Published: (2025)
by: Goncharov, Sergey, et al.
Published: (2025)
$ε$-Distance via Lévy-Prokhorov Lifting
by: Desharnais, Josée, et al.
Published: (2025)
by: Desharnais, Josée, et al.
Published: (2025)
On the Metric Temporal Logic for Continuous Stochastic Processes
by: Ikeda, Mitsumasa, et al.
Published: (2023)
by: Ikeda, Mitsumasa, et al.
Published: (2023)
Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains
by: Heck, Linus, et al.
Published: (2025)
by: Heck, Linus, et al.
Published: (2025)
A Toolkit for Structured Lifts
by: Kapulkin, Chris, et al.
Published: (2025)
by: Kapulkin, Chris, et al.
Published: (2025)
Comparing Labeled Markov Chains: A Cantor-Kantorovich Approach
by: Banse, Adrien, et al.
Published: (2025)
by: Banse, Adrien, et al.
Published: (2025)
When Darwin met Ianus: dichotomies of expressivity
by: Brunar, Johanna, et al.
Published: (2025)
by: Brunar, Johanna, et al.
Published: (2025)
Proving Behavioural Apartness
by: Turkenburg, Ruben, et al.
Published: (2024)
by: Turkenburg, Ruben, et al.
Published: (2024)
Witnesses for Fixpoint Games on Lattices
by: König, Barbara, et al.
Published: (2026)
by: König, Barbara, et al.
Published: (2026)
Strategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them
by: Jamroga, Wojciech, et al.
Published: (2020)
by: Jamroga, Wojciech, et al.
Published: (2020)
Identity-Preserving Lax Extensions and Where to Find Them
by: Goncharov, Sergey, et al.
Published: (2024)
by: Goncharov, Sergey, et al.
Published: (2024)
Faster Lifting for Ordered Domains with Predecessor Relations
by: Zou, Kuncheng, et al.
Published: (2025)
by: Zou, Kuncheng, et al.
Published: (2025)
VITAMIN: A Compositional Framework for Model Checking of Multi-Agent Systems
by: Ferrando, Angelo, et al.
Published: (2024)
by: Ferrando, Angelo, et al.
Published: (2024)
Examples and Nonexamples of Distal Metric Structures
by: Anderson, Aaron, et al.
Published: (2025)
by: Anderson, Aaron, et al.
Published: (2025)
Similar Items
-
A Complete Quantitative Axiomatisation of Behavioural Distance of Regular Expressions
by: Różowski, Wojciech
Published: (2024) -
Quantitative Graded Semantics and Spectra of Behavioural Metrics
by: Forster, Jonas, et al.
Published: (2023) -
Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach
by: Beohar, Harsh, et al.
Published: (2023) -
Generalized Kantorovich-Rubinstein Duality beyond Hausdorff and Kantorovich
by: Wild, Paul, et al.
Published: (2025) -
A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes
by: Różowski, Wojciech, et al.
Published: (2026)