TY - RPRT TI - Certified Universal Gathering in $R^2$ for Oblivious Mobile Robots AU - Pierre Courtieu AU - Lionel Rieg AU - Sébastien Tixeuil AU - Xavier Urbain PY - 2016 UR - https://arxiv.org/abs/1602.08361 ID - 1602.08361 ER -