Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms | IEEE Conference Publication | IEEE Xplore