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

26 February 2016

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

9 / 9 papers shown

Title
Computer Aided Formal Design of Swarm Robotics Algorithms Thibaut Balabonski Pierre Courtieu Robin Pelle Lionel Rieg Sébastien Tixeuil X. Urbain 26 3 0 18 Jan 2021
Gathering in the Plane of Location-Aware Robots in the Presence of Spies J. Czyzowicz R. Killick E. Kranakis D. Krizanc Oscar Morales-Ponce 16 7 0 07 Dec 2017
Parameterized Verification of Algorithms for Oblivious Robots on a Ring Arnaud Sangnier Nathalie Sznajder M. Potop-Butucaru Sébastien Tixeuil 24 19 0 16 Jun 2017
A Certified Universal Gathering Algorithm for Oblivious Mobile Robots Pierre Courtieu Lionel Rieg Sébastien Tixeuil X. Urbain 36 6 0 04 Jun 2015
On the Synthesis of Mobile Robots Algorithms: the Case of Ring Gathering Laure Millet M. Potop-Butucaru Nathalie Sznajder Sébastien Tixeuil 51 37 0 01 Jul 2014
Impossibility of Gathering, a Certification Pierre Courtieu Lionel Rieg X. Urbain Sébastien Tixeuil 45 42 0 22 May 2014
Certified Impossibility Results for Byzantine-Tolerant Mobile Robots C. Auger Z. Bouzid Pierre Courtieu Sébastien Tixeuil X. Urbain 66 51 0 18 Jun 2013
The Gathering Problem for Two Oblivious Robots with Unreliable Compasses Taisuke Izumi S. Souissi Y. Katayama Nobuhiro Inuzuka Xavier Défago Koichi Wada M. Yamashita 96 88 0 07 Nov 2011
Optimal grid exploration by asynchronous oblivious robots Stéphane Devismes Anissa Lamani Franck Petit Pascal Raymond Sébastien Tixeuil 68 60 0 12 May 2011