@inproceedings{BPR+8,
title = { A Foundational Framework for Certified Impossibility Results with Mobile Robots on Graphs },
author = {Balabonski, Thibaut and Pelle, Robin and Rieg, Lionel and Tixeuil, S\'ebastien},
year = {2018},
booktitle = {Proceedings of the 19th International Conference on Distributed Computing and Networking, {ICDCN} 2018, Varanasi, India, January 4-7, 2018},
pages = {5:1--5:10},
series = {International Conference on Distributed Computing and Networking (ICDCN)},
team = {Yale University, Other},
}
