Optimal grid exploration by asynchronous oblivious robots

v1v2v3 (latest)

Optimal grid exploration by asynchronous oblivious robots

12 May 2011

Stéphane Devismes

Sébastien Tixeuil

ArXiv (abs)PDF HTML

Papers citing "Optimal grid exploration by asynchronous oblivious robots"

19 / 19 papers shown

Title
Filling MIS Vertices by Myopic Luminous Robots Subhajit Pramanick Saibaba Samala D. Pattanayak P. Mandal 185 2 0 10 Jul 2021
Unreliable Sensors for Reliable Efficient Robots Adam Heriban Sébastien Tixeuil 21 0 0 20 May 2021
Terminating grid exploration with myopic luminous robots Shota Nagahama Fukuhito Ooshita M. Inoue 18 1 0 11 Feb 2021
Computer Aided Formal Design of Swarm Robotics Algorithms Thibaut Balabonski Pierre Courtieu Robin Pelle Lionel Rieg Sébastien Tixeuil X. Urbain 29 3 0 18 Jan 2021
An Asynchronous Maximum Independent Set Algorithm by Myopic Luminous Robots on Grids Sayaka Kamei Sébastien Tixeuil 41 7 0 07 Dec 2020
Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space Xavier Défago Adam Heriban Sébastien Tixeuil Koichi Wada 33 9 0 23 Jul 2019
Infinite Grid Exploration by Disoriented Robots Quentin Bramas Stéphane Devismes Pascal Lafourcade 34 20 0 22 May 2019
Coding theory for noiseless channels realized by anonymous oblivious mobile robots Yukiko Yamauchi M. Yamashita 15 0 0 21 May 2019
Dispersion of Mobile Robots: The Power of Randomness A. R. Molla W. Moses 90 29 0 27 Feb 2019
Exploration of Finite 2D Square Grid by a Metamorphic Robotic System Keisuke Doi Yukiko Yamauchi S. Kijima M. Yamashita 36 8 0 01 Aug 2018
Ring Exploration with Myopic Luminous Robots Fukuhito Ooshita Sébastien Tixeuil 33 21 0 10 May 2018
Optimally Gathering Two Robots Adam Heriban Xavier Défago Sébastien Tixeuil 49 27 0 21 Aug 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 Framework for Certified Self-Stabilization K. Altisen P. Corbineau Stéphane Devismes 65 19 0 27 Oct 2016
Certified Universal Gathering in $R^2$ for Oblivious Mobile Robots Pierre Courtieu Lionel Rieg Sébastien Tixeuil X. Urbain 41 17 0 26 Feb 2016
A Certified Universal Gathering Algorithm for Oblivious Mobile Robots Pierre Courtieu Lionel Rieg Sébastien Tixeuil X. Urbain 42 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 57 37 0 01 Jul 2014
Impossibility of Gathering, a Certification Pierre Courtieu Lionel Rieg X. Urbain Sébastien Tixeuil 48 42 0 22 May 2014
Certified Impossibility Results for Byzantine-Tolerant Mobile Robots C. Auger Z. Bouzid Pierre Courtieu Sébastien Tixeuil X. Urbain 70 51 0 18 Jun 2013