Population Protocols: Beyond Runtime Analysis

08/30/2021

∙

by   Javier Esparza, et al.

∙

0

∙

share

I survey our recent work on the verification of population protocols and their state complexity.