Buchumschlag

Distributed controller synthesis for deadlock avoidance

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Gimbert, Hugo, Mascle, Corto, Muscholl, Anca, Walukiewicz, Igor
Format:	Preprint
Veröffentlicht:	2022
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

An automata-based approach for synchronizable mailbox communication
von: Delpy, Romain, et al.
Veröffentlicht: (2024)

Revisiting Stateful Partial-Order Reduction
von: Herbreteau, Frédéric, et al.
Veröffentlicht: (2024)

The Complexity of Simplifying $ω$-Automata through the Alternating Cycle Decomposition
von: Casares, Antonio, et al.
Veröffentlicht: (2024)

Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability
von: Guillou, Lucie, et al.
Veröffentlicht: (2023)

The complexity of downward closures of indexed languages
von: Mandel, Richard, et al.
Veröffentlicht: (2026)

Layered automata: A canonical model for automata over infinite words
von: Casares, Antonio, et al.
Veröffentlicht: (2026)

How to avoid the commuting conversions of IPC
von: Santo, José Espírito, et al.
Veröffentlicht: (2024)

Verification of Population Protocols with Unordered Data
von: van Bergerem, Steffen, et al.
Veröffentlicht: (2024)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
von: Herbelin, Hugo
Veröffentlicht: (2024)

Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives
von: Belly, Marius, et al.
Veröffentlicht: (2024)

Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties
von: Akshay, S., et al.
Veröffentlicht: (2024)

Meta-Mathematics of Computational Complexity Theory
von: Oliveira, Igor C.
Veröffentlicht: (2025)

Pitts and Intuitionistic Multi-Succedent: Uniform Interpolation for KM
von: Férée, Hugo, et al.
Veröffentlicht: (2026)

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

Optimal Sequential Flows
von: Gimbert, Hugo, et al.
Veröffentlicht: (2025)

Optimally Controlling a Random Population
von: Gimbert, Hugo, 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)

Completeness of Finitely Weighted Kleene Algebra With Tests
von: Sedlár, Igor
Veröffentlicht: (2024)

MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints
von: Bals, Severin, et al.
Veröffentlicht: (2023)

Stabilized profunctors and stable species of structures
von: Fiore, Marcelo, et al.
Veröffentlicht: (2023)

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

Reasoning About Probabilities, Actions, and Knowledge in Fuzzy Modal Logic
von: Kozhemiachenko, Daniil, et al.
Veröffentlicht: (2026)

A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets
von: Arias, Jaime, et al.
Veröffentlicht: (2024)

The very dependent recursive structure of iterated parametricity in indexed form
von: Herbelin, Hugo, et al.
Veröffentlicht: (2026)

On the logical structure of choice and bar induction principles
von: Brede, Nuria, et al.
Veröffentlicht: (2021)

A Dynamic Deontic Simplicial Logic for Joint Commitments
von: Cignarale, Giorgio, et al.
Veröffentlicht: (2026)

From Thin Concurrent Games to Generalized Species of Structures (Extended Version)
von: Clairambault, Pierre, et al.
Veröffentlicht: (2023)

Distributed First Order Logic
von: Ghidini, Chiara, et al.
Veröffentlicht: (2015)

Distributional Probabilistic Model Checking
von: Elsayed-Aly, Ingy, et al.
Veröffentlicht: (2023)

Logic of (Common or Distributed) Knowledge
von: Shi, Chenwei
Veröffentlicht: (2025)

Reducing Arbitrary Metric Temporal Formulas into Logic Programs under Answer Set Semantics
von: Diéguez, Martín, et al.
Veröffentlicht: (2026)

Knowledge on a Budget
von: Majer, Ondrej, et al.
Veröffentlicht: (2026)

On Robustness for the Skolem, Positivity and Ultimate Positivity Problems
von: Akshay, S., et al.
Veröffentlicht: (2022)

Uniform Agent-interpolation of Distributed Knowledge
von: Su, Youan
Veröffentlicht: (2026)

Sequent Calculi for Data-Aware Modal Logics
von: Areces, Carlos, et al.
Veröffentlicht: (2025)

Uniform Interpolation in Distributed Knowledge Modal Logics
von: Wang, Kexu, et al.
Veröffentlicht: (2026)

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

Model Checking Markov Chains as Distribution Transformers
von: Aghamov, Rajab, et al.
Veröffentlicht: (2024)

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