C. Auger, Z. Bouzid, P. Courtieu, S. Tixeuil, and X. Urbain, Certified Impossibility Results for Byzantine-Tolerant Mobile Robots, Stabilization, Safety, and Security of Distributed Systems -15th International Symposium, pp.178-186, 2013.
DOI : 10.1007/978-3-319-03089-0_13

URL : https://hal.archives-ouvertes.fr/hal-01126335

T. Balabonski, A. Delga, L. Rieg, S. Tixeuil, and X. Urbain, Synchronous Gathering Without Multiplicity Detection: A Certified Algorithm, Stabilization, Safety, and Security of Distributed Systems - 18th International Symposium, 2016.
DOI : 10.1007/s00224-017-9828-z

URL : https://hal.archives-ouvertes.fr/hal-01491813

T. Balabonski, R. Pelle, L. Rieg, and S. Tixeuil, A Foundational Framework for Certified Impossibility Results with Mobile Robots on Graphs, Proceedings of the 19th International Conference on Distributed Computing and Networking , ICDCN '18, 2018.
DOI : 10.1137/S009753979628292X

URL : https://hal.archives-ouvertes.fr/hal-01753439

R. Baldoni, F. Bonnet, A. Milani, and M. , Anonymous graph exploration without collision by mobile robots, Information Processing Letters, vol.109, issue.2, pp.98-103, 2008.
DOI : 10.1016/j.ipl.2008.08.011

URL : https://hal.archives-ouvertes.fr/inria-00333179

B. Bérard, P. Courtieu, L. Millet, M. Potop-butucaru, L. Rieg et al., Formal Methods for Mobile Robots: Current Results and Open Problems, International Journal of Informatics Society, vol.7, issue.3, pp.101-114, 2015.

B. Bérard, P. Lafourcade, L. Millet, M. Potop-butucaru, Y. Thierry-mieg et al., Formal verification of mobile robot protocols, Distributed Computing, vol.79, issue.9, pp.459-487, 2016.
DOI : 10.1007/BFb0006306

L. Blin, J. Burman, and N. Nisse, Exclusive Graph Searching, Algorithmica, vol.309, issue.18, pp.942-969, 2017.
DOI : 10.1016/j.disc.2008.05.033

URL : https://hal.archives-ouvertes.fr/hal-00845530

L. Blin, A. Milani, M. Potop-butucaru, and S. Tixeuil, Exclusive Perpetual Ring Exploration without Chirality, Distributed Computing, 24th International Symposium, pp.312-327, 2010.
DOI : 10.1007/978-3-642-15763-9_29

URL : https://hal.archives-ouvertes.fr/hal-00992700

F. Bonnet, X. Défago, F. Petit, M. Potop-butucaru, and S. Tixeuil, Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols, 2014 IEEE 33rd International Symposium on Reliable Distributed Systems Workshops, pp.50-59, 2014.
DOI : 10.1109/SRDSW.2014.34

URL : https://hal.archives-ouvertes.fr/hal-01108586

F. Bonnet, A. Milani, M. Potop-butucaru, and S. Tixeuil, Asynchronous Exclusive Perpetual Grid Exploration without Sense of Direction, Principles of Distributed Systems -15th International Conference, OPODIS 2011 Proceedings, volume 7109 of Lecture Notes in Computer Science, pp.251-265, 2011.
DOI : 10.1007/3-540-45446-2_10

URL : https://hal.archives-ouvertes.fr/hal-00992679

F. Bonnet, M. Potop-butucaru, and S. Tixeuil, Asynchronous gathering in rings with four robots, Ad-hoc, Mobile, and Wireless Networks -15th International Conference, ADHOC-NOW 2015, 2016.
DOI : 10.1007/978-3-319-40509-4_22

Z. Bouzid, S. Dolev, M. Potop-butucaru, and S. Tixeuil, RoboCast: Asynchronous Communication in Robot Networks, Lecture Notes in Computer Science, vol.36, issue.1, pp.16-31, 2010.
DOI : 10.1137/050631562

URL : https://hal.archives-ouvertes.fr/hal-01290774

G. Caron, E. M. Mouaddib, and É. Marchand, 3D model based tracking for omnidirectional vision: A new spherical approach, Robotics and Autonomous Systems, vol.60, issue.8, pp.601056-1068, 2012.
DOI : 10.1016/j.robot.2012.05.009

URL : https://hal.archives-ouvertes.fr/hal-00750978

J. Chalopin, P. Flocchini, B. Mans, and N. Santoro, Network Exploration by Silent and Oblivious Robots, Graph Theoretic Concepts in Computer Science -36th International Workshop, WG 2010, pp.208-219, 2010.
DOI : 10.1016/j.tcs.2010.01.037

URL : https://hal.archives-ouvertes.fr/hal-01198880

M. Cieliebak, P. Flocchini, G. Prencipe, and N. Santoro, Distributed Computing by Mobile Robots: Gathering, SIAM Journal on Computing, vol.41, issue.4, pp.829-879, 2012.
DOI : 10.1137/100796534

URL : http://sbrinz.di.unipi.it/~peppe/Articoli/Riviste/2012-SIAM.pdf

P. Courtieu, L. Rieg, S. Tixeuil, and X. Urbain, Impossibility of gathering, a certification, Information Processing Letters, vol.115, issue.3, pp.447-452, 2015.
DOI : 10.1016/j.ipl.2014.11.001

URL : https://hal.archives-ouvertes.fr/hal-01122869

P. Courtieu, L. Rieg, S. Tixeuil, and X. Urbain, Certified universal gathering algorithm in R 2 for oblivious mobile robots, Distributed Computing -30th International Symposium, 2016.

G. D. Angelo, A. Navarra, and N. Nisse, A unified approach for gathering and exclusive searching on rings under weak assumptions, Distributed Computing, vol.30, issue.1, pp.17-48, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01326473

G. D. Angelo, G. D. Stefano, A. Navarra, N. Nisse, and K. Suchan, Computing on rings by oblivious robots: A unified approach for different tasks, Algorithmica, vol.72, issue.4, pp.1055-1096, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01168428

S. Devismes, A. Lamani, F. Petit, P. Raymond, and S. Tixeuil, Optimal Grid Exploration by Asynchronous Oblivious Robots, Stabilization, Safety, and Security of Distributed Systems -14th International Symposium, pp.64-76, 2012.
DOI : 10.1007/978-3-642-33536-5_7

URL : https://hal.archives-ouvertes.fr/hal-00591963

S. Devismes, A. Lamani, F. Petit, and S. Tixeuil, Optimal Torus Exploration by Oblivious Robots, Networked Systems -Third International Conference, NETYS 2015, pp.183-199, 2015.
DOI : 10.1007/978-3-319-26850-7_13

URL : https://hal.archives-ouvertes.fr/hal-00926573

S. Devismes, F. Petit, and S. Tixeuil, Optimal probabilistic ring exploration by semi-synchronous oblivious robots, Theoretical Computer Science, vol.498, pp.10-27, 2013.
DOI : 10.1016/j.tcs.2013.05.031

URL : https://hal.archives-ouvertes.fr/hal-00930045

H. T. Doan, F. Bonnet, and K. Ogata, Model Checking of a Mobile Robots Perpetual Exploration Algorithm, Structured Object-Oriented Formal Language and Method -6th International Workshop, SOFL+MSVL 2016, pp.201-219, 2016.
DOI : 10.1007/978-3-662-48653-5_7

H. T. Doan, F. Bonnet, and K. Ogata, Model checking of robot gathering, Principles of Distributed Systems -21th International Conference Leibniz International Proceedings in Informatics (LIPIcs) Schloss Dagstuhl?Leibniz-Zentrum fuer Informatik, 2017.

P. Flocchini, D. Ilcinkas, A. Pelc, and N. Santoro, Remembering without memory: Tree exploration by asynchronous oblivious robots, Theoretical Computer Science, vol.411, pp.14-151583, 2010.
DOI : 10.1007/978-3-540-69355-0_5

URL : https://hal.archives-ouvertes.fr/hal-00341465

P. Flocchini, D. Ilcinkas, A. Pelc, and N. Santoro, Computing Without Communicating: Ring Exploration by Asynchronous Oblivious Robots, Algorithmica, vol.28, issue.3, pp.562-583, 2013.
DOI : 10.1137/S009753979628292X

URL : https://hal.archives-ouvertes.fr/hal-00339884

P. Flocchini, G. Prencipe, and N. Santoro, Distributed Computing by Oblivious Mobile Robots. Synthesis Lectures on Distributed Computing Theory, 2012.
DOI : 10.2200/s00440ed1v01y201208dct010

P. Flocchini, G. Prencipe, N. Santoro, and P. Widmayer, Arbitrary pattern formation by asynchronous, anonymous, oblivious robots, Theoretical Computer Science, vol.407, issue.1-3, pp.412-447, 2008.
DOI : 10.1016/j.tcs.2008.07.026

URL : https://doi.org/10.1016/j.tcs.2008.07.026

N. Fujinaga, Y. Yamauchi, S. Kijima, and M. Yamashita, Asynchronous Pattern Formation by Anonymous Oblivious Mobile Robots, Distributed Computing -26th International Symposium, DISC 2012 Proceedings, pp.312-325, 2012.
DOI : 10.1007/978-3-642-33651-5_22

T. Izumi, Z. Bouzid, S. Tixeuil, and K. Wada, Brief Announcement: The BG-Simulation for Byzantine Mobile Robots, Lecture Notes in Computer Science, vol.28, issue.4, pp.330-331, 2011.
DOI : 10.1137/S009753979628292X

URL : https://hal.archives-ouvertes.fr/hal-01285672

T. Izumi, T. Izumi, S. Kamei, and F. Ooshita, Mobile Robots Gathering Algorithm with Local Weak Multiplicity in Rings, Structural Information and Communication Complexity, 17th International Colloquium, SIROCCO 2010, pp.101-113, 2010.
DOI : 10.1007/978-3-642-13284-1_9

S. Kamei, A. Lamani, F. Ooshita, and S. Tixeuil, Asynchronous Mobile Robot Gathering from Symmetric Configurations without Global Multiplicity Detection, Structural Information and Communication Complexity -18th International Colloquium, SIROCCO 2011, pp.150-161, 2011.
DOI : 10.1007/11429647_20

URL : https://hal.archives-ouvertes.fr/hal-01009454

S. Kamei, A. Lamani, F. Ooshita, and S. Tixeuil, Gathering an Even Number of Robots in an Odd Ring without Global Multiplicity Detection, Mathematical Foundations of Computer Science 2012 -37th International Symposium, MFCS 2012 Proceedings, pp.542-553, 2012.
DOI : 10.1007/978-3-642-32589-2_48

URL : https://hal.archives-ouvertes.fr/hal-00709074

A. Lamani, M. G. Potop-butucaru, and S. Tixeuil, Optimal Deterministic Ring Exploration with Oblivious Asynchronous Robots, Structural Information and Communication Complexity, 17th International Colloquium, SIROCCO 2010, pp.183-196, 2010.
DOI : 10.1007/978-3-642-13284-1_15

URL : https://hal.archives-ouvertes.fr/hal-01009453

L. Millet, M. Potop-butucaru, N. Sznajder, and S. Tixeuil, On the Synthesis of Mobile Robots Algorithms: The Case of Ring Gathering, Stabilization, Safety, and Security of Distributed Systems -16th International Symposium, pp.237-251, 2014.
DOI : 10.1007/978-3-319-11764-5_17

URL : https://hal.archives-ouvertes.fr/hal-01016832

G. Prencipe, Impossibility of gathering by a set of autonomous mobile robots, Theoretical Computer Science, vol.384, issue.2-3, pp.222-231, 2007.
DOI : 10.1016/j.tcs.2007.04.023

S. Rubin, F. Zuleger, A. Murano, and B. Aminof, Verification of asynchronous mobile-robots in partially-known environments, PRIMA 2015: Principles and Practice of Multi-Agent Systems -18th International Conference Proceedings, volume 9387 of Lecture Notes in Computer Science, pp.185-200, 2015.

A. Sangnier, N. Sznajder, M. Potop-butucaru, and S. Tixeuil, Parameterized verification of algorithms for oblivious robots on a ring, 2017 Formal Methods in Computer Aided Design (FMCAD), 2017.
DOI : 10.23919/FMCAD.2017.8102262

URL : https://hal.archives-ouvertes.fr/hal-01664894

I. Suzuki and M. Yamashita, Distributed Anonymous Mobile Robots: Formation of Geometric Patterns, SIAM Journal on Computing, vol.28, issue.4, pp.1347-1363, 1999.
DOI : 10.1137/S009753979628292X

Y. Tomita, Y. Yamauchi, S. Kijima, and M. Yamashita, Plane formation by synchronous mobile robots without chirality, 21st International Conference on Principles of Distributed Systems, OPODIS 2017 Schloss Dagstuhl -Leibniz- Zentrum fuer Informatik, pp.1-1317, 2017.

M. Yamashita and I. Suzuki, Characterizing geometric patterns formable by oblivious anonymous mobile robots, Theoretical Computer Science, vol.411, issue.26-28, pp.26-282433, 2010.
DOI : 10.1016/j.tcs.2010.01.037

URL : https://doi.org/10.1016/j.tcs.2010.01.037

Y. Yamauchi, T. Uehara, S. Kijima, and M. Yamashita, Plane formation by synchronous mobile robots in the three-dimensional euclidean space, J. ACM, vol.6416, issue.3, pp.1-1643, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01206131

Y. Yamauchi, T. Uehara, and M. Yamashita, Brief Announcement, Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, PODC '16, pp.447-449, 2016.
DOI : 10.1016/j.tcs.2010.01.037

URL : https://hal.archives-ouvertes.fr/hal-01291182

Y. Yamauchi and M. Yamashita, Pattern Formation by Mobile Robots with Limited Visibility, Structural Information and Communication Complexity -20th International Colloquium, SIROCCO 2013, pp.201-212, 2013.
DOI : 10.1016/j.tcs.2010.01.037