Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy
Fuente:
arXiv
Salvato in:
| Autori principali: | Balasubramanian, A. R., Esparza, Javier, Raskin, Mikhail |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2020
|
| Soggetti: | |
| Accesso online: | |
| 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)
di: Esparza, Javier, et al.
Pubblicazione: (2022)
Complexity of Verification and Synthesis of Threshold Automata
di: Balasubramanian, A. R., et al.
Pubblicazione: (2020)
di: Balasubramanian, A. R., et al.
Pubblicazione: (2020)
Decidability and Complexity of Decision Problems for Affine Continuous VASS
di: Balasubramanian, A. R.
Pubblicazione: (2024)
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)
di: Danso, Priscilla Kyei, et al.
Pubblicazione: (2026)
Multi-Environment MDPs with Prior and Universal Semantics
di: Bordais, Benjamin, et al.
Pubblicazione: (2026)
di: Bordais, Benjamin, et al.
Pubblicazione: (2026)
Runtime Verification for LTL in Stochastic Systems
di: Esparza, Javier, et al.
Pubblicazione: (2025)
di: Esparza, Javier, et al.
Pubblicazione: (2025)
On the Cut Elimination of Weak Intuitionistic Tense Logic
di: Wang, Yiheng, et al.
Pubblicazione: (2024)
di: Wang, Yiheng, et al.
Pubblicazione: (2024)
iSMC: A BDD-based Symbolic Model Checker with Interactive Certification
di: Czerner, Philipp, et al.
Pubblicazione: (2026)
di: Czerner, Philipp, et al.
Pubblicazione: (2026)
Cut-elimination for the alternation-free modal mu-calculus
di: Afshari, Bahareh, et al.
Pubblicazione: (2025)
di: Afshari, Bahareh, et al.
Pubblicazione: (2025)
Cut-free Deductive System for Continuous Intuitionistic Logic
di: Geoffroy, Guillaume
Pubblicazione: (2025)
di: Geoffroy, Guillaume
Pubblicazione: (2025)
The Value Problem for Multiple-Environment MDPs with Parity Objective
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2025)
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2025)
A Zone-Based Algorithm for Timed Parity Games
di: Geeraerts, Gilles, et al.
Pubblicazione: (2025)
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)
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)
di: Indrzejczak, Andrzej, et al.
Pubblicazione: (2024)
Modelling of logical systems by means of their fragments
di: Rybakov, Mikhail
Pubblicazione: (2025)
di: Rybakov, Mikhail
Pubblicazione: (2025)
A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2025)
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2025)
Games with $ω$-Automatic Preference Relations
di: Bruyère, Véronique, et al.
Pubblicazione: (2025)
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)
di: Livson, Ori, et al.
Pubblicazione: (2025)
Validity of contextual formulas (extended version)
di: Esparza, Javier, et al.
Pubblicazione: (2024)
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)
di: Berkholz, Christoph, et al.
Pubblicazione: (2024)
Cut-Elimination for the Bimodal Logic GR
di: Kushida, Hirohiko
Pubblicazione: (2026)
di: Kushida, Hirohiko
Pubblicazione: (2026)
IMELL Cut Elimination with Linear Overhead
di: Accattoli, Beniamino, et al.
Pubblicazione: (2024)
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)
di: Atserias, Albert, et al.
Pubblicazione: (2024)
Separators in Continuous Petri Nets
di: Blondin, Michael, et al.
Pubblicazione: (2022)
di: Blondin, Michael, et al.
Pubblicazione: (2022)
Efficient Normalization of Linear Temporal Logic
di: Esparza, Javier, et al.
Pubblicazione: (2023)
di: Esparza, Javier, et al.
Pubblicazione: (2023)
Uniform Cut-free Bisequent Calculi for Three-valued Logics
di: Indrzejczak, Andrzej, et al.
Pubblicazione: (2024)
di: Indrzejczak, Andrzej, et al.
Pubblicazione: (2024)
Infinitary Cut-Elimination for Non-Wellfounded Parsimonious Linear Logic
di: Acclavio, Matteo, et al.
Pubblicazione: (2023)
di: Acclavio, Matteo, et al.
Pubblicazione: (2023)
A Semantic Proof of Generalised Cut Elimination for Deep Inference
di: Atkey, Robert, et al.
Pubblicazione: (2024)
di: Atkey, Robert, et al.
Pubblicazione: (2024)
Presburger Functional Synthesis: Complexity and Tractable Normal Forms
di: Akshay, S., et al.
Pubblicazione: (2025)
di: Akshay, S., et al.
Pubblicazione: (2025)
Synthesising Full-Information Protocols
di: Berwanger, Dietmar, et al.
Pubblicazione: (2023)
di: Berwanger, Dietmar, et al.
Pubblicazione: (2023)
Temporal Hyperproperties for Population Protocols
di: Waldburger, Nicolas, et al.
Pubblicazione: (2024)
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)
di: Curzi, Gianluca, et al.
Pubblicazione: (2026)
Syntactic Cut-Elimination for Provability Logic GL via Nested Sequents
di: Maniwa, Akinori, et al.
Pubblicazione: (2024)
di: Maniwa, Akinori, et al.
Pubblicazione: (2024)
Programs Versus Finite Tree-Programs
di: Moshkov, Mikhail
Pubblicazione: (2025)
di: Moshkov, Mikhail
Pubblicazione: (2025)
Algorithmic Problems for Computation Trees
di: Moshkov, Mikhail
Pubblicazione: (2025)
di: Moshkov, Mikhail
Pubblicazione: (2025)
Finding Connections via Satisfiability Solving
di: Eisenhofer, Clemens, et al.
Pubblicazione: (2026)
di: Eisenhofer, Clemens, et al.
Pubblicazione: (2026)
Efficient Synthesis of Symbolic Distributed Protocols by Sketching
di: Egolf, Derek, et al.
Pubblicazione: (2024)
di: Egolf, Derek, et al.
Pubblicazione: (2024)
Wait-Only Broadcast Protocols are Easier to Verify
di: Guillou, Lucie, et al.
Pubblicazione: (2025)
di: Guillou, Lucie, et al.
Pubblicazione: (2025)
Integer Linear-Exponential Programming in NP by Quantifier Elimination
di: Chistikov, Dmitry, et al.
Pubblicazione: (2024)
di: Chistikov, Dmitry, et al.
Pubblicazione: (2024)
Accelerating Protocol Synthesis and Detecting Unrealizability with Interpretation Reduction
di: Egolf, Derek, et al.
Pubblicazione: (2025)
di: Egolf, Derek, et al.
Pubblicazione: (2025)
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)