Skip to Main content Skip to Navigation
New interface
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.
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01126335
Contributor : Laboratoire CEDRIC Connect in order to contact the contributor
Submitted on : Friday, March 6, 2015 - 11:51:07 AM
Last modification on : Wednesday, September 28, 2022 - 5:57:34 AM

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

108