The complexity of verifying population protocols.

Javier Esparza Stefan Jaax Mikhail A. Raskin Chana Weil-Kennedy

Published in: Distributed Comput. (2021)

Keyphrases

data mining
computational cost
decision problems
lower complexity
data structure
computational complexity
digital libraries
worst case
differential evolution
population size