Brief Announcement: Certified impossibility results for Byzantine-tolerant mobile robots
| Autor: | Auger, Cédric, Bouzid, Zohir, Courtieu, Pierre, Tixeuil, Sébastien, Urbain, Xavier |
|---|---|
| Přispěvatelé: | College of Electrical Engeneering and Information Technology, Three Gorges University, Networks and Performance Analysis (NPA), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), Centre d'études et de recherche en informatique et communications (CEDRIC), Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE)-Conservatoire National des Arts et Métiers [CNAM] (CNAM), HESAM Université - Communauté d'universités et d'établissements Hautes écoles Sorbonne Arts et métiers université (HESAM)-HESAM Université - Communauté d'universités et d'établissements Hautes écoles Sorbonne Arts et métiers université (HESAM), CEDRIC, Laboratoire |
| Jazyk: | angličtina |
| Rok vydání: | 2013 |
| Předmět: | |
| Zdroj: | International Symposium on Distributed Computing (DISC2013) International Symposium on Distributed Computing (DISC2013), Oct 2013, Jerusalem, Israel. pp.2 |
| Popis: | International audience; We present a formailzation of impossibility results in a robot framework. Extended version in SSS 2013. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|