On the Synthesis of Mobile Robots Algorithms: the Case of Ring Gathering

v1v2 (latest)

On the Synthesis of Mobile Robots Algorithms: the Case of Ring Gathering

1 July 2014

M. Potop-Butucaru

Nathalie Sznajder

Sébastien Tixeuil

ArXiv (abs)PDF HTML

Papers citing "On the Synthesis of Mobile Robots Algorithms: the Case of Ring Gathering"

7 / 7 papers shown

Title
Unreliable Sensors for Reliable Efficient Robots Adam Heriban Sébastien Tixeuil 18 0 0 20 May 2021
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
Asynchronous Gathering in a Torus Sayaka Kamei Anissa Lamani Fukuhito Ooshita Sébastien Tixeuil Koichi Wada 25 2 0 14 Jan 2021
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 27 9 0 23 Jul 2019
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
Certified Universal Gathering in $R^2$ for Oblivious Mobile Robots Pierre Courtieu Lionel Rieg Sébastien Tixeuil X. Urbain 38 17 0 26 Feb 2016
Impossibility of Gathering, a Certification Pierre Courtieu Lionel Rieg X. Urbain Sébastien Tixeuil 48 42 0 22 May 2014