Population Protocols: Beyond Runtime Analysis
arXiv:2108.13449
Abstract
I survey our recent work on the verification of population protocols and their state complexity.
arXiv:2108.13449
I survey our recent work on the verification of population protocols and their state complexity.