@inproceedings{CRT+6d,
title = { Certified Universal Gathering in R^2 for Oblivious Mobile Robots },
author = {Courtieu, Pierre and Rieg, Lionel and Tixeuil, S\'ebastien and Urbain, Xavier},
year = {2016},
booktitle = {Distributed Computing - 30th International Symposium, {DISC} 2016, Paris, France, September 27-29, 2016. Proceedings},
pages = {187--200},
series = {Distributed Computing (DISC)},
team = {Coll\`ege de France, Other},
}