Brief Announcement: Certified impossibility results for Byzantine-tolerant mobile robots
Résumé
We present a formailzation of impossibility results in a robot framework. Extended version in SSS 2013.
Le portail HAL-CNRS accueille l'ensemble de laproduction scientifique du CNRS |
Laboratoire CEDRIC : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01126335
Soumis le : vendredi 6 mars 2015-11:51:07
Dernière modification le : mardi 11 avril 2023-15:16:28