Formal Certification of async Protocols: The Case of Gathering in $\mathbb {R} ^2$ Using Weber Points.

Maria-Virginia Aponte, Mathis Bouverot-Dupuis, Quentin Bramas, Pierre Courtieu, Lionel Rieg, Xavier Urbain

Browse the full SIROCCO paper archive.