Certified Universal Gathering in \mathbb R ^2 for Oblivious Mobile Robots

Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain. Certified Universal Gathering in \mathbb R ^2 for Oblivious Mobile Robots. In Cyril Gavoille, David Ilcinkas, editors, Distributed Computing - 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings. Volume 9888 of Lecture Notes in Computer Science, pages 187-200, Springer, 2016. [doi]

@inproceedings{CourtieuRTU16-0,
  title = {Certified Universal Gathering in \mathbb R ^2 for Oblivious Mobile Robots},
  author = {Pierre Courtieu and Lionel Rieg and Sébastien Tixeuil and Xavier Urbain},
  year = {2016},
  doi = {10.1007/978-3-662-53426-7_14},
  url = {http://dx.doi.org/10.1007/978-3-662-53426-7_14},
  researchr = {https://researchr.org/publication/CourtieuRTU16-0},
  cites = {0},
  citedby = {0},
  pages = {187-200},
  booktitle = {Distributed Computing - 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings},
  editor = {Cyril Gavoille and David Ilcinkas},
  volume = {9888},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-662-53425-0},
}