Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01126335
Contributor : Laboratoire Cedric <>
Submitted on : Friday, March 6, 2015 - 11:51:07 AM
Last modification on : Monday, February 3, 2020 - 2:10:03 PM

Identifiers

  • HAL Id : hal-01126335, version 1

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. pp.2. ⟨hal-01126335⟩

Share

Metrics

Record views

146