Buchumschlag

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Alrahman, Yehia Abd, Piterman, Nir
Format:	Preprint
Veröffentlicht:	2025
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

sweap: Reactive Synthesis for Infinite-State Integer Problems
von: Azzopardi, Shaun, et al.
Veröffentlicht: (2026)

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

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

A Direct Translation from LTL with Past to Deterministic Rabin Automata
von: Azzopardi, Shaun, et al.
Veröffentlicht: (2024)

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)

Symbolic Synthesis for LTLf+ Obligations
von: De Giacomo, Giuseppe, 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)

Relating Apartness and Branching Bisimulation Games
von: Rot, Jurriaan, et al.
Veröffentlicht: (2024)

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

Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
von: Spork, Timm, 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)

Full LTL Synthesis over Infinite-state Arenas
von: Azzopardi, Shaun, et al.
Veröffentlicht: (2023)

Fast Obligation Translation and Synthesis
von: Duret-Lutz, Alexandre, et al.
Veröffentlicht: (2026)

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)

Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis
von: Hausmann, Daniel, et al.
Veröffentlicht: (2025)

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

Bisimulations and Logics for Higher-Dimensional Automata
von: Zouari, Safa, et al.
Veröffentlicht: (2024)

Bisimulation for Feller-Dynkin Processes
von: Chen, Linan, et al.
Veröffentlicht: (2019)

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

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

The Discontinuity Problem
von: Brattka, Vasco
Veröffentlicht: (2020)

The Church Synthesis Problem over Continuous Time
von: Rabinovich, Alexander, et al.
Veröffentlicht: (2024)

Efficient Synthesis of Symbolic Distributed Protocols by Sketching
von: Egolf, Derek, et al.
Veröffentlicht: (2024)

The Implication Problem for Functional Dependencies and Variants of Marginal Distribution Equivalences
von: Hirvonen, Minna
Veröffentlicht: (2023)

Problems and Consequences of Bilateral Notions of (Meta-)Derivability
von: Ayhan, Sara
Veröffentlicht: (2025)

The Proof Analysis Problem
von: Arteche, Noel, et al.
Veröffentlicht: (2025)

Distribution-Free Normal Modal Logics
von: Hartonas, Chrysafis
Veröffentlicht: (2024)

Consistent Update Synthesis via Privatized Beliefs
von: Schlögl, Thomas, et al.
Veröffentlicht: (2024)

Distribution-Free Modal Logics: Sahlqvist -- Van Benthem Correspondence
von: Chrysafis, et al.
Veröffentlicht: (2025)

Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic
von: Liang, Xiaolong, et al.
Veröffentlicht: (2024)

$Π_{2}^{P}$ vs PSpace Dichotomy for the Quantified Constraint Satisfaction Problem
von: Zhuk, Dmitriy
Veröffentlicht: (2024)

Verifying Solutions to Semantics-Guided Synthesis Problems
von: Murphy, Charlie, et al.
Veröffentlicht: (2024)

Distributive Laws of Monadic Containers
von: Purdy, Chris, et al.
Veröffentlicht: (2025)

Network Satisfaction Problems Solved by k-Consistency
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2023)