25 ms·A Certified Universal Gathering Algorithm for Oblivious Mobile Robots1 points by user_235711 11y ago