Brief Announcement: Certified impossibility results for Byzantine-tolerant mobile robots

Abstract : We present a formailzation of impossibility results in a robot framework. Extended version in SSS 2013.
Type de document :
Communication dans un congrès
International Symposium on Distributed Computing (DISC2013), Oct 2013, Jerusalem, Israel. 8205, pp.2, 2013, LNCS
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01126335
Contributeur : Laboratoire Cedric <>
Soumis le : vendredi 6 mars 2015 - 11:51:07
Dernière modification le : vendredi 14 décembre 2018 - 01:45:01

Identifiants

  • HAL Id : hal-01126335, version 1

Collections

Citation

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. 8205, pp.2, 2013, LNCS. 〈hal-01126335〉

Partager

Métriques

Consultations de la notice

131