Certified Impossibility Results for Byzantine-Tolerant Mobile Robots

Cédric Auger, Zohir Bouzid, Pierre Courtieu, Sébastien Tixeuil, Xavier Urbain. Certified Impossibility Results for Byzantine-Tolerant Mobile Robots. In Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita, editors, Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings. Volume 8255 of Lecture Notes in Computer Science, pages 178-190, Springer, 2013. [doi]

Authors

Cédric Auger

This author has not been identified. Look up 'Cédric Auger' in Google

Zohir Bouzid

This author has not been identified. Look up 'Zohir Bouzid' in Google

Pierre Courtieu

This author has not been identified. Look up 'Pierre Courtieu' in Google

Sébastien Tixeuil

This author has not been identified. Look up 'Sébastien Tixeuil' in Google

Xavier Urbain

This author has not been identified. Look up 'Xavier Urbain' in Google