@misc{indiciae23cf3ad8827e,
  title = {Certified Universal Gathering in \$R\textasciicircum{}2\$ for Oblivious Mobile Robots},
  author = {Pierre Courtieu and Lionel Rieg and Sébastien Tixeuil and Xavier Urbain},
  year = {2016},
  url = {https://arxiv.org/abs/1602.08361},
  note = {Source identifier: 1602.08361}
}