Austin, Henry, Berenbrink, Petra, Friedetzky, Tom, Götte, Thorsten, Hintze, Lukas, "A Space-Time Trade-off for Fast Self-Stabilizing Leader Election in Population Protocols", , 2025