English

Verification of Population Protocols with Unordered Data is undecidable

Distributed, Parallel, and Cluster Computing 2023-05-18 v1
Authors: Roland Guttenberg
View on arXiv ↗ PDF ↗

Abstract

We consider the new extension of population protocols with unordered data and show that the corresponding well-specification problem and therefore also other verification problems are undecidable.

Cite

@article{arxiv.2305.10159,
  title  = {Verification of Population Protocols with Unordered Data is undecidable},
  author = {Roland Guttenberg},
  journal= {arXiv preprint arXiv:2305.10159},
  year   = {2023}
}

Comments

7 pages

Related papers

View all related →
Distributed, Parallel, and Cluster Computing · Computer Science
Verification of Population Protocols with Unordered Data
Steffen van Bergerem, Roland Guttenberg, Sandra Kiefer, Corto Mascle +2
2024-05-03
Distributed, Parallel, and Cluster Computing · Computer Science
Population Protocols with Unordered Data
Michael Blondin, François Ladouceur
2023-07-06
Distributed, Parallel, and Cluster Computing · Computer Science
Population Protocols: Beyond Runtime Analysis
Javier Esparza
2021-09-01
Logic in Computer Science · Computer Science
Towards Efficient Verification of Population Protocols
Michael Blondin, Javier Esparza, Stefan Jaax, Philipp J. Meyer
2018-07-31
Logic in Computer Science · Computer Science
Verification of Immediate Observation Population Protocols
Javier Esparza, Pierre Ganty, Rupak Majumdar, Chana Weil-Kennedy
2018-08-15
Logic in Computer Science · Computer Science
Temporal Hyperproperties for Population Protocols
Nicolas Waldburger, Chana Weil-Kennedy, Pierre Ganty, César Sánchez
2024-10-16
Logic in Computer Science · Computer Science
The Complexity of Verifying Population Protocols
Javier Esparza, Stefan Jaax, Mikhail Raskin, Chana Weil-Kennedy
2021-02-10
Databases · Computer Science
Structurally Tractable Uncertain Data
Antoine Amarilli
2016-07-19
Computational Complexity · Computer Science
Complexity analysis and practical resolution of the data classification problem with private characteristics
David Pantoja, Ismael Rodriguez, Fernando Rubio, Clara Segura
2026-01-22
Distributed, Parallel, and Cluster Computing · Computer Science
Population protocols with unreliable communication
Mikhail Raskin
2021-12-28
Distributed, Parallel, and Cluster Computing · Computer Science
Probabilistic Population Protocol Models
Vladyslav Melnychuk
2022-09-20
Distributed, Parallel, and Cluster Computing · Computer Science
Population Protocols over Ordered Agents
Michael Blondin, Michaël Cadilhac, Benjamin Courchesne, Lucie Guillou +2
2026-05-12
Distributed, Parallel, and Cluster Computing · Computer Science
Uniform Bipartition in the Population Protocol Model with Arbitrary Communication Graphs
Hiroto Yasumi, Fukuhito Ooshita, Michiko Inoue, Sébastien Tixeuil
2020-11-19
Logic in Computer Science · Computer Science
Generalized Post Embedding Problems
Prateek Karandikar, Philippe Schnoebelen
2016-07-07
Quantum Physics · Physics
Consistency of Generalised Probabilistic Theories is Undecidable
Serge Massar
2026-03-17
Logic · Mathematics
Undecidability in First-Order Theories of Term Algebras Extended with a Substitution Operator
Juvenal Murwanashyaka
2021-11-02
Logic in Computer Science · Computer Science
A Short Note on Two-Variable Logic with a Linear Order Successor and a Preorder Successor
Amaldev Manuel, Thomas Schwentick, Thomas Zeume
2013-06-17
Databases · Computer Science
Big Data is not the New Oil: Common Misconceptions about Population Data
Peter Christen, Rainer Schnell
2022-09-05
Logic in Computer Science · Computer Science
On the Satisfiability of Local First-Order Logics with Data
Benedikt Bollig, Arnaud Sangnier, Olivier Stietel
2024-08-07
Databases · Computer Science
The Hunt for a Red Spider: Conjunctive Query Determinacy Is Undecidable
Tomasz Gogacz, Jerzy Marcinkowski
2015-12-08
Programming Languages · Computer Science
Decidable Verification of Uninterpreted Programs
Umang Mathur, P. Madhusudan, Mahesh Viswanathan
2020-08-27
Theoretical Economics · Economics
Non-rationalizable Individuals, Stochastic Rationalizability, and Sampling
Changkuk Im, John Rehbeck
2021-10-22
Logic in Computer Science · Computer Science
LTL with Local and Remote Data Constraints
Ashwin Bhaskar
2022-06-06
Data Analysis, Statistics and Probability · Physics
Unfolding problem clarification and solution validation
Nikolai Gagunashvili
2016-04-08
Human-Computer Interaction · Computer Science
Probabilistic Perspectives on Collecting Human Uncertainty in Predictive Data Mining
Kevin Jasberg, Sergej Sizov
2017-03-01
R2 v1 2026-06-28T10:37:00.432Z