A Foundational Framework for Certified Impossibility Results with Mobile Robots on Graphs.

Thibaut Balabonski, Robin Pelle, Lionel Rieg, Sbastien Tixeuil

Browse the full ICDCN paper archive.