The Black Ninjas and the Sniper: On Robust Population Protocols. - Benno Lossin; Philipp Czerner; Javier Esparza; Roland Guttenberg; Tobias Prehn (Principles of Verification (3), 2024)

The Black Ninjas and the Sniper: On Robustness of Population Protocols. - Benno Lossin; Philipp Czerner; Javier Esparza; Roland Guttenberg; Tobias Prehn (CoRR, 2024)