6 citations · 6 across the 3 of their papers we have counts for
Showing cs.DCShow all
2 papers · 1 filter
cs.DC2016
Certified Universal Gathering in 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…
cs.DC2015★ 6 cited
A Certified Universal Gathering Algorithm for Oblivious Mobile Robots
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil +1
We present a new algorithm for the problem of universal gathering mobile oblivious robots (that is, starting from any initial configuration that is not bivalent, using any number o…