Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms.

Saba Aflaki, Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, Arne Storjohann

Browse the full SRDS paper archive.