Imagen de Portada

Constructing Witnesses for Lower Bounds on Behavioural Distances

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Turkenburg, Ruben, Beohar, Harsh, van Breugel, Franck, Kupke, Clemens, Rot, Jurriaan
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Proving Behavioural Apartness
por: Turkenburg, Ruben, et al.
Publicado: (2024)

A Categorical Approach to Coalgebraic Fixpoint Logic
por: Schoen, Ezra, et al.
Publicado: (2024)

Relating Apartness and Branching Bisimulation Games
por: Rot, Jurriaan, et al.
Publicado: (2024)

Trees in Coalgebra from Generalized Reachability
por: Wißmann, Thorsten, et al.
Publicado: (2025)

Expressivity of bisimulation pseudometrics over analytic state spaces
por: Luckhardt, Daniel, et al.
Publicado: (2025)

Tree Automata Acceptance up to Measurable Defect
por: Moyasari, Anita, et al.
Publicado: (2026)

A Unifying Approach to Product Constructions for Quantitative Temporal Inference
por: Watanabe, Kazuki, et al.
Publicado: (2024)

Graded Monads and Behavioural Equivalence Games
por: Ford, Chase, et al.
Publicado: (2022)

Initial Algebra Correspondence under Reachability Conditions
por: Kori, Mayuko, et al.
Publicado: (2025)

Small Test Suites for Active Automata Learning
por: Kruger, Loes, et al.
Publicado: (2024)

On Tools for Completeness of Kleene Algebra with Hypotheses
por: Pous, Damien, et al.
Publicado: (2022)

Complete Test Suites for Automata in Monoidal Closed Categories
por: Kocsis, Bálint, et al.
Publicado: (2024)

On Kleisli liftings and decorated trace semantics
por: Luckhardt, Daniel, et al.
Publicado: (2024)

Correspondences between codensity and coupling-based liftings, a practical approach
por: Humeau, Samuel, et al.
Publicado: (2024)

Error-awareness Accelerates Active Automata Learning
por: Kruger, Loes, et al.
Publicado: (2026)

State Matching and Multiple References in Adaptive Active Automata Learning
por: Kruger, Loes, et al.
Publicado: (2024)

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs
por: Watanabe, Kazuki, et al.
Publicado: (2024)

Relative fixed points of functors
por: Schoen, Ezra, et al.
Publicado: (2023)

Composing Codensity Bisimulations
por: Kori, Mayuko, et al.
Publicado: (2024)

Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach
por: Beohar, Harsh, et al.
Publicado: (2023)

Incremental Fingerprinting in an Open World
por: Kruger, Loes, et al.
Publicado: (2026)

Intrinsically Correct Sorting in Cubical Agda
por: Alexandru, Cass, et al.
Publicado: (2024)

Robust Probabilistic Bisimilarity for Labelled Markov Chains
por: Fatmi, Syyeda Zainab, et al.
Publicado: (2025)

Parallelism and Adaptivity in Student-Teacher Witnessing
por: Ježil, Ondřej, et al.
Publicado: (2026)

Witnessed Symmetric Choice and Interpretations in Fixed-Point Logic with Counting
por: Lichter, Moritz
Publicado: (2022)

On Lower Bounding Minimal Model Count
por: Kabir, Mohimenul, et al.
Publicado: (2024)

A Complete Quantitative Axiomatisation of Behavioural Distance of Regular Expressions
por: Różowski, Wojciech
Publicado: (2024)

Quantitative Graded Semantics and Spectra of Behavioural Metrics
por: Forster, Jonas, et al.
Publicado: (2023)

Witnesses for Fixpoint Games on Lattices
por: König, Barbara, et al.
Publicado: (2026)

Computing Witnesses Using the SCAN Algorithm
por: Achammer, Fabian, et al.
Publicado: (2026)

Optimal Lower Bounds for Symmetric Modular Circuits
por: Pago, Benedikt
Publicado: (2026)

Supermartingales for Unique Fixed Points: A Unified Approach to Lower Bound Verification
por: Kura, Satoshi, et al.
Publicado: (2025)

Computing Witnesses Using the SCAN Algorithm (Extended Preprint)
por: Achammer, Fabian, et al.
Publicado: (2025)

Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes
por: Baier, Christel, et al.
Publicado: (2024)

Finding Bugs in Short Proofs: The Metamathematics of Resolution Lower Bounds
por: Li, Jiawei, et al.
Publicado: (2024)

Lower Bounds on Inverse Cellular Automata via Proof Complexity
por: Kapytka, Maryia
Publicado: (2026)

A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity
por: Grabmayer, Clemens
Publicado: (2022)

Certificates and Witnesses for Multi-objective ω-regular Queries in Markov Decision Processes
por: Baier, Christel, et al.
Publicado: (2025)

Constructive Ordinal Exponentiation
por: de Jong, Tom, et al.
Publicado: (2025)

Constructive Quantum Logics
por: Aguilera, Juan P., et al.
Publicado: (2025)