Copertina

Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Balasubramanian, A. R., Esparza, Javier, Raskin, Mikhail
Natura:	Preprint
Pubblicazione:	2020
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Regular Model Checking Upside-Down: An Invariant-Based Approach
di: Esparza, Javier, et al.
Pubblicazione: (2022)

Complexity of Verification and Synthesis of Threshold Automata
di: Balasubramanian, A. R., et al.
Pubblicazione: (2020)

Decidability and Complexity of Decision Problems for Affine Continuous VASS
di: Balasubramanian, A. R.
Pubblicazione: (2024)

Syntax Is Easy, Semantics Is Hard: Evaluating LLMs for LTL Translation
di: Danso, Priscilla Kyei, et al.
Pubblicazione: (2026)

Multi-Environment MDPs with Prior and Universal Semantics
di: Bordais, Benjamin, et al.
Pubblicazione: (2026)

Runtime Verification for LTL in Stochastic Systems
di: Esparza, Javier, et al.
Pubblicazione: (2025)

On the Cut Elimination of Weak Intuitionistic Tense Logic
di: Wang, Yiheng, et al.
Pubblicazione: (2024)

iSMC: A BDD-based Symbolic Model Checker with Interactive Certification
di: Czerner, Philipp, et al.
Pubblicazione: (2026)

Cut-elimination for the alternation-free modal mu-calculus
di: Afshari, Bahareh, et al.
Pubblicazione: (2025)

Cut-free Deductive System for Continuous Intuitionistic Logic
di: Geoffroy, Guillaume
Pubblicazione: (2025)

The Value Problem for Multiple-Environment MDPs with Parity Objective
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2025)

A Zone-Based Algorithm for Timed Parity Games
di: Geeraerts, Gilles, et al.
Pubblicazione: (2025)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
di: Afshari, Bahareh, et al.
Pubblicazione: (2024)

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
di: Indrzejczak, Andrzej, et al.
Pubblicazione: (2024)

Modelling of logical systems by means of their fragments
di: Rybakov, Mikhail
Pubblicazione: (2025)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2025)

Games with $ω$-Automatic Preference Relations
di: Bruyère, Véronique, et al.
Pubblicazione: (2025)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
di: Livson, Ori, et al.
Pubblicazione: (2025)

Validity of contextual formulas (extended version)
di: Esparza, Javier, et al.
Pubblicazione: (2024)

Supercritical Size-Width Tree-Like Resolution Trade-Offs for Graph Isomorphism
di: Berkholz, Christoph, et al.
Pubblicazione: (2024)

Cut-Elimination for the Bimodal Logic GR
di: Kushida, Hirohiko
Pubblicazione: (2026)

IMELL Cut Elimination with Linear Overhead
di: Accattoli, Beniamino, et al.
Pubblicazione: (2024)

Feasibly Constructive Proof of Schwartz-Zippel Lemma and the Complexity of Finding Hitting Sets
di: Atserias, Albert, et al.
Pubblicazione: (2024)

Separators in Continuous Petri Nets
di: Blondin, Michael, et al.
Pubblicazione: (2022)

Efficient Normalization of Linear Temporal Logic
di: Esparza, Javier, et al.
Pubblicazione: (2023)

Uniform Cut-free Bisequent Calculi for Three-valued Logics
di: Indrzejczak, Andrzej, et al.
Pubblicazione: (2024)

Infinitary Cut-Elimination for Non-Wellfounded Parsimonious Linear Logic
di: Acclavio, Matteo, et al.
Pubblicazione: (2023)

A Semantic Proof of Generalised Cut Elimination for Deep Inference
di: Atkey, Robert, et al.
Pubblicazione: (2024)

Presburger Functional Synthesis: Complexity and Tractable Normal Forms
di: Akshay, S., et al.
Pubblicazione: (2025)

Synthesising Full-Information Protocols
di: Berwanger, Dietmar, et al.
Pubblicazione: (2023)

Temporal Hyperproperties for Population Protocols
di: Waldburger, Nicolas, et al.
Pubblicazione: (2024)

Making progress: Reducibility Candidates and Cut Elimination in the Ill-founded Realm
di: Curzi, Gianluca, et al.
Pubblicazione: (2026)

Syntactic Cut-Elimination for Provability Logic GL via Nested Sequents
di: Maniwa, Akinori, et al.
Pubblicazione: (2024)

Programs Versus Finite Tree-Programs
di: Moshkov, Mikhail
Pubblicazione: (2025)

Algorithmic Problems for Computation Trees
di: Moshkov, Mikhail
Pubblicazione: (2025)

Finding Connections via Satisfiability Solving
di: Eisenhofer, Clemens, et al.
Pubblicazione: (2026)

Efficient Synthesis of Symbolic Distributed Protocols by Sketching
di: Egolf, Derek, et al.
Pubblicazione: (2024)

Wait-Only Broadcast Protocols are Easier to Verify
di: Guillou, Lucie, et al.
Pubblicazione: (2025)

Integer Linear-Exponential Programming in NP by Quantifier Elimination
di: Chistikov, Dmitry, et al.
Pubblicazione: (2024)

Accelerating Protocol Synthesis and Detecting Unrealizability with Interpretation Reduction
di: Egolf, Derek, et al.
Pubblicazione: (2025)