Verification of Population Protocols with Unordered Data is undecidable

05/17/2023

∙

by   Roland Guttenberg, et al.

∙

0

∙

share

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.