Synthesizing optimal bias in randomized self-stabilization

Matthias Volk 0001, Borzoo Bonakdarpour, Joost-Pieter Katoen, Saba Aflaki. Synthesizing optimal bias in randomized self-stabilization. Distributed Computing, 35(1):37-57, 2022. [doi]

Abstract

Abstract is missing.