ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 1405.5902
  4. Cited By
Impossibility of Gathering, a Certification

Impossibility of Gathering, a Certification

22 May 2014
Pierre Courtieu
Lionel Rieg
X. Urbain
Sébastien Tixeuil
ArXiv (abs)PDFHTML

Papers citing "Impossibility of Gathering, a Certification"

7 / 7 papers shown
Title
Stand Up Indulgent Gathering
Stand Up Indulgent Gathering
Quentin Bramas
Anissa Lamani
Sébastien Tixeuil
20
7
0
07 Feb 2023
Unreliable Sensors for Reliable Efficient Robots
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
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
Using Model Checking to Formally Verify Rendezvous Algorithms for Robots
  with Lights in Euclidean Space
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
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
A Framework for Certified Self-Stabilization
K. Altisen
P. Corbineau
Stéphane Devismes
58
19
0
27 Oct 2016
Certified Universal Gathering in $R^2$ for Oblivious Mobile Robots
Certified Universal Gathering in R2R^2R2 for Oblivious Mobile Robots
Pierre Courtieu
Lionel Rieg
Sébastien Tixeuil
X. Urbain
38
17
0
26 Feb 2016
1