Brief Announcement: Certified impossibility results for Byzantine-tolerant mobile robots
Résumé
We present a formailzation of impossibility results in a robot framework. Extended version in SSS 2013.
Communication Dans Un Congrès
Année : 2013
Laboratoire CEDRIC : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01126335
Soumis le : vendredi 6 mars 2015-11:51:07
Dernière modification le : vendredi 19 juillet 2024-11:38:04
Dates et versions
Identifiants
- HAL Id : hal-01126335 , version 1
Citer
Cédric Auger, Zohir Bouzid, Pierre Courtieu, Sébastien Tixeuil, Xavier Urbain. Brief Announcement: Certified impossibility results for Byzantine-tolerant mobile robots. International Symposium on Distributed Computing (DISC2013), Oct 2013, Jerusalem, Israel. pp.2. ⟨hal-01126335⟩
Collections
168
Consultations
0
Téléchargements