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
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
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
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
Formal Methods for Mobile Robots: Current Results and Open Problems, International Journal of Informatics Society, vol.7, issue.3, pp.101-114, 2015. ,
Formal verification of mobile robot protocols, Distributed Computing, vol.79, issue.9, pp.459-487, 2016. ,
DOI : 10.1007/BFb0006306
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
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
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
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
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
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
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
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
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
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
Certified universal gathering algorithm in R 2 for oblivious mobile robots, Distributed Computing -30th International Symposium, 2016. ,
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
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
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
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
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
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
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. ,
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
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
Distributed Computing by Oblivious Mobile Robots. Synthesis Lectures on Distributed Computing Theory, 2012. ,
DOI : 10.2200/s00440ed1v01y201208dct010
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
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
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
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
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
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
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
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
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
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. ,
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
Distributed Anonymous Mobile Robots: Formation of Geometric Patterns, SIAM Journal on Computing, vol.28, issue.4, pp.1347-1363, 1999. ,
DOI : 10.1137/S009753979628292X
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. ,
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
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
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
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