Brief Announcement: Certified impossibility results for Byzantine-tolerant mobile robots - Archive ouverte HAL Access content directly
Conference Papers Year : 2013

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.
No file

Dates and versions

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

Identifiers

  • HAL Id : hal-01126335 , version 1

Cite

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⟩
116 View
0 Download

Share

Gmail Facebook X LinkedIn More