Buchumschlag

Relating Apartness and Branching Bisimulation Games

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Rot, Jurriaan, Junges, Sebastian, Beohar, Harsh
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Proving Behavioural Apartness
von: Turkenburg, Ruben, et al.
Veröffentlicht: (2024)

Small Test Suites for Active Automata Learning
von: Kruger, Loes, et al.
Veröffentlicht: (2024)

State Matching and Multiple References in Adaptive Active Automata Learning
von: Kruger, Loes, et al.
Veröffentlicht: (2024)

Error-awareness Accelerates Active Automata Learning
von: Kruger, Loes, et al.
Veröffentlicht: (2026)

Constructing Witnesses for Lower Bounds on Behavioural Distances
von: Turkenburg, Ruben, et al.
Veröffentlicht: (2025)

A Unifying Approach to Product Constructions for Quantitative Temporal Inference
von: Watanabe, Kazuki, et al.
Veröffentlicht: (2024)

Composing Codensity Bisimulations
von: Kori, Mayuko, et al.
Veröffentlicht: (2024)

Relational Connectors and Heterogeneous Bisimulations
von: Nora, Pedro, et al.
Veröffentlicht: (2024)

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs
von: Watanabe, Kazuki, et al.
Veröffentlicht: (2024)

On Kleisli liftings and decorated trace semantics
von: Luckhardt, Daniel, et al.
Veröffentlicht: (2024)

Branching Bisimulation Learning
von: Abate, Alessandro, et al.
Veröffentlicht: (2025)

Incremental Fingerprinting in an Open World
von: Kruger, Loes, et al.
Veröffentlicht: (2026)

On Tools for Completeness of Kleene Algebra with Hypotheses
von: Pous, Damien, et al.
Veröffentlicht: (2022)

Initial Algebra Correspondence under Reachability Conditions
von: Kori, Mayuko, et al.
Veröffentlicht: (2025)

Graded Monads and Behavioural Equivalence Games
von: Ford, Chase, et al.
Veröffentlicht: (2022)

Complete Test Suites for Automata in Monoidal Closed Categories
von: Kocsis, Bálint, et al.
Veröffentlicht: (2024)

Correspondences between codensity and coupling-based liftings, a practical approach
von: Humeau, Samuel, et al.
Veröffentlicht: (2024)

A Categorical Approach to Coalgebraic Fixpoint Logic
von: Schoen, Ezra, et al.
Veröffentlicht: (2024)

Trees in Coalgebra from Generalized Reachability
von: Wißmann, Thorsten, et al.
Veröffentlicht: (2025)

Expressivity of bisimulation pseudometrics over analytic state spaces
von: Luckhardt, Daniel, et al.
Veröffentlicht: (2025)

Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations
von: de Frutos-Escrig, David, et al.
Veröffentlicht: (2024)

Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach
von: Beohar, Harsh, et al.
Veröffentlicht: (2023)

Positive Hennessy-Milner Logic for Branching Bisimulation
von: Geuvers, Herman, et al.
Veröffentlicht: (2022)

Finitary Truly Concurrent Bisimulations
von: Wang, Yong
Veröffentlicht: (2026)

Lowerbounds for Bisimulation by Partition Refinement
von: Groote, Jan Friso, et al.
Veröffentlicht: (2022)

Tree Automata Acceptance up to Measurable Defect
von: Moyasari, Anita, et al.
Veröffentlicht: (2026)

Bisimulation Learning
von: Abate, Alessandro, et al.
Veröffentlicht: (2024)

Better Bounded Bisimulation Contractions (Preprint)
von: Bolander, Thomas, et al.
Veröffentlicht: (2024)

A Spectrum of Approximate Probabilistic Bisimulations
von: Spork, Timm, et al.
Veröffentlicht: (2024)

Relational Dualities and Bisimulation
von: Kozicki, Piotr, et al.
Veröffentlicht: (2026)

Efficient Probabilistic Model Checking for Relational Reachability (Extended Version)
von: Gerlach, Lina, et al.
Veröffentlicht: (2025)

Aczel-Mendler Bisimulations in a Regular Category
von: Dubut, Jeremy
Veröffentlicht: (2023)

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem
von: Alrahman, Yehia Abd, et al.
Veröffentlicht: (2025)

A Strong Bisimulation for a Classical Term Calculus
von: Bonelli, Eduardo, et al.
Veröffentlicht: (2021)

On the Complexity of Robust Markov Decision Processes and Bisimulation Metrics
von: Suilen, Marnix, et al.
Veröffentlicht: (2026)

Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
von: Spork, Timm, et al.
Veröffentlicht: (2025)

A Framework for Coalgebraic Reward-Sensitive Bisimulation (Extended Version)
von: de Amorim, Pedro H. Azevedo, et al.
Veröffentlicht: (2026)

A Coalgebraic Model of Quantum Bisimulation
von: Ceragioli, Lorenzo, et al.
Veröffentlicht: (2025)

Bisimulation for Impure Simplicial Complexes
von: Bílková, Marta, et al.
Veröffentlicht: (2024)

A PSPACE Algorithm for Almost-Sure Rabin Objectives in Multi-Environment MDPs
von: Suilen, Marnix, et al.
Veröffentlicht: (2024)