Brief Announcement: Certified impossibility results for Byzantine-tolerant mobile robots - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

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.
Fichier non déposé

Dates et versions

hal-01126335 , version 1 (06-03-2015)

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⟩
121 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More