Certified Universal Gathering in $R^2$ for Oblivious Mobile Robots

Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil +1

We present a unified formal framework for expressing mobile robots models, protocols, and proofs, and devise a protocol design/proof methodology dedicated to mobile robots that tak…