Population Protocols: Beyond Runtime Analysis

Reachability Problems (RP), 2021

30 August 2021

Abstract

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

Comments on this paper