Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1405.5902
Cited By
Impossibility of Gathering, a Certification
22 May 2014
Pierre Courtieu
Lionel Rieg
X. Urbain
Sébastien Tixeuil
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Impossibility of Gathering, a Certification"
7 / 7 papers shown
Title
Stand Up Indulgent Gathering
Quentin Bramas
Anissa Lamani
Sébastien Tixeuil
20
7
0
07 Feb 2023
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
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
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
R^2
R
2
for Oblivious Mobile Robots
Pierre Courtieu
Lionel Rieg
Sébastien Tixeuil
X. Urbain
38
17
0
26 Feb 2016
1