How to review formalized mathematics, 2013. ,
Manuel de savoirprouver à l'usage des roboteux et des distributeux, ALGOTEL 2019 -21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, pp.1-4, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02115611
, Distributed Computing by Mobile Entities, vol.11340, 2019.
Priority inheritance with backtracking for iterative multi-agent path finding, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, pp.535-542, 2019. ,
Distributed Anonymous Mobile Robots : Formation of Geometric Patterns, SIAM Journal of Computing, vol.28, issue.4, pp.1347-1363, 1999. ,