TY  - RPRT
TI  - A Certified Universal Gathering Algorithm for Oblivious Mobile Robots
AU  - Pierre Courtieu
AU  - Lionel Rieg
AU  - Sébastien Tixeuil
AU  - Xavier Urbain
PY  - 2015
UR  - https://arxiv.org/abs/1506.01603
ID  - 1506.01603
ER  -