Towards Efficient Verification of Population Protocols.

Michael Blondin, Javier Esparza, Stefan Jaax, Philipp J. Meyer

Browse the full PODC paper archive.