A Framework for Certified Self-Stabilization

27 October 2016

Papers citing "A Framework for Certified Self-Stabilization"

3 / 3 papers shown

Title
Impossibility of Gathering, a Certification Pierre Courtieu Lionel Rieg X. Urbain Sébastien Tixeuil 43 42 0 22 May 2014
Certified Impossibility Results for Byzantine-Tolerant Mobile Robots C. Auger Z. Bouzid Pierre Courtieu Sébastien Tixeuil X. Urbain 59 51 0 18 Jun 2013
Optimal grid exploration by asynchronous oblivious robots Stéphane Devismes Anissa Lamani Franck Petit Pascal Raymond Sébastien Tixeuil 59 60 0 12 May 2011