research
∙
05/17/2023
Verification of Population Protocols with Unordered Data is undecidable
We consider the new extension of population protocols with unordered dat...
research
∙
11/05/2022
Geometry of VAS reachability sets
Vector Addition Systems (VAS) or equivalently petri-nets are a popular m...
research
∙
02/23/2022