Certified Impossibility Results for Byzantine-Tolerant Mobile Robots

Certified Impossibility Results for Byzantine-Tolerant Mobile Robots

18 June 2013

Pierre Courtieu

Sébastien Tixeuil

ArXiv (abs)PDF HTML

Papers citing "Certified Impossibility Results for Byzantine-Tolerant Mobile Robots"

17 / 17 papers shown

Title
A Unifying Approach to Efficient (Near)-Gathering of Disoriented Robots with Limited Visibility Jannik Castenow Jonas Harbig Daniel Jung Peter Kling Till Knollmann F. Heide 15 3 0 15 Jun 2022
Unreliable Sensors for Reliable Efficient Robots Adam Heriban Sébastien Tixeuil 16 0 0 20 May 2021
Byzantine Dispersion on Graphs A. R. Molla Kaushik Mondal W. Moses 80 17 0 15 Feb 2021
Computer Aided Formal Design of Swarm Robotics Algorithms Thibaut Balabonski Pierre Courtieu Robin Pelle Lionel Rieg Sébastien Tixeuil X. Urbain 21 3 0 18 Jan 2021
Efficient Dispersion on an Anonymous Ring in the Presence of Weak Byzantine Robots A. R. Molla Kaushik Mondal W. Moses 110 15 0 23 Apr 2020
Conic Formation in Presence of Faulty Robots D. Pattanayak Klaus-Tycho Foerster P. Mandal Stefan Schmid 11 2 0 04 Mar 2020
Randomized Gathering of Asynchronous Mobile Robots D. Pattanayak John E. Augustine P. Mandal 22 2 0 22 Sep 2019
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 25 9 0 23 Jul 2019
Optimally Gathering Two Robots Adam Heriban Xavier Défago Sébastien Tixeuil 44 27 0 21 Aug 2017
Fault-Induced Dynamics of Oblivious Robots on a Line J. Carufel P. Flocchini 18 1 0 11 Jul 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 56 19 0 27 Oct 2016
Fault-Tolerant Gathering of Mobile Robots with Weak Multiplicity Detection D. Pattanayak Kaushik Mondal H. Ramesh P. Mandal 21 5 0 08 Aug 2016
Certified Universal Gathering in $R^2$ for Oblivious Mobile Robots Pierre Courtieu Lionel Rieg Sébastien Tixeuil X. Urbain 33 17 0 26 Feb 2016
A Certified Universal Gathering Algorithm for Oblivious Mobile Robots Pierre Courtieu Lionel Rieg Sébastien Tixeuil X. Urbain 34 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 47 37 0 01 Jul 2014
Impossibility of Gathering, a Certification Pierre Courtieu Lionel Rieg X. Urbain Sébastien Tixeuil 43 42 0 22 May 2014