Thibaut Balabonski, Robin Pelle, Lionel Rieg, Sébastien Tixeuil. A Foundational Framework for Certified Impossibility Results with Mobile Robots on Graphs. In Paolo Bellavista, Vijay K. Garg, editors, Proceedings of the 19th International Conference on Distributed Computing and Networking, ICDCN 2018, Varanasi, India, January 4-7, 2018. ACM, 2018. [doi]