Stéphane Devismes Franck Petit Sébastien Tixeuil Optimal Probabilistic Ring Exploration by Asynchronous Oblivious Robots http://arxiv.org/abs/0902.1834 2009 CoRR abs/0902.1834 db/journals/corr/corr0902.html#abs-0902-1834 informal publication