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.
Laboratoire CEDRIC : Connect in order to contact the contributor
https://hal.science/hal-01126335
Submitted on : Friday, March 6, 2015-11:51:07 AM
Last modification on : Tuesday, April 11, 2023-3:16:28 PM