ResearchTrend.AI
A Framework for Certified Self-Stabilization

A Framework for Certified Self-Stabilization

K. Altisen
P. Corbineau
Stéphane Devismes
ArXivPDFHTML

Papers citing "A Framework for Certified Self-Stabilization"

3 / 3 papers shown
Title
Impossibility of Gathering, a Certification
Impossibility of Gathering, a Certification
Pierre Courtieu
Lionel Rieg
X. Urbain
Sébastien Tixeuil
41
42
0
22 May 2014
Certified Impossibility Results for Byzantine-Tolerant Mobile Robots
Certified Impossibility Results for Byzantine-Tolerant Mobile Robots
C. Auger
Z. Bouzid
Pierre Courtieu
Sébastien Tixeuil
X. Urbain
56
51
0
18 Jun 2013
Optimal grid exploration by asynchronous oblivious robots
Optimal grid exploration by asynchronous oblivious robots
Stéphane Devismes
Anissa Lamani
Franck Petit
Pascal Raymond
Sébastien Tixeuil
59
60
0
12 May 2011

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.