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

A. Almeida, G. Ramalho, H. Santana, P. Azevedo-tedesco, T. Menezes et al., Recent Advances on Multi-agent Patrolling, Advances in Artificial Intelligence -SBIA 2004, 17th Brazilian Symposium on Artificial Intelligence Proceedings, pp.474-483, 2004.
DOI : 10.1007/978-3-540-28645-5_48

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

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-00912499

L. Blin, A. Milani, M. Potop-butucaru, and S. Tixeuil, Exclusive Perpetual Ring Exploration without Chirality, Proc. of 24th Int. Symp. in Distributed Computing (DISC'10), pp.312-327, 2010.
DOI : 10.1007/978-3-642-15763-9_29

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

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

A. Clerentin, M. Delafosse, L. Delahoche, B. Marhic, and A. Jolly-desodt, Uncertainty and imprecision modeling for the mobile robot localization??problem, Autonomous Robots, vol.128, issue.1???2, pp.267-283, 2008.
DOI : 10.1137/1.9781611970906

G. D. Angelo, G. D. Stefano, and A. Navarra, Gathering of six robots on anonymous symmetric rings
URL : https://hal.archives-ouvertes.fr/hal-00644039

S. Kamei, A. Lamani, F. Ooshita, and S. Tixeuil, Asynchronous Mobile Robot Gathering from Symmetric Configurations without Global Multiplicity Detection, Proc. of 18th Int. Coll. on Structural Information and Communication Complexity (SIROCCO'11), pp.150-161, 2011.
DOI : 10.1007/11429647_20

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

A. Lamani, S. Kamei, F. Ooshita, and S. Tixeuil, Gathering an even number of robots in an odd ring without global multiplicity detection, Proc. of Int. Conf. on Mathematical Foundations of Computer Science (MFCS'12), pp.542-553
URL : https://hal.archives-ouvertes.fr/hal-00934132

P. Flocchini, G. Prencipe, N. Santoro, and P. Widmayer, Gathering of asynchronous robots with limited visibility, Theoretical Computer Science, vol.337, issue.1-3, pp.147-168, 2005.
DOI : 10.1016/j.tcs.2005.01.001

E. Clarke, O. Grumberg, and D. Peled, Model Checking, 2001.

C. Baier and J. P. Katoen, Principles of model checking, 2008.

L. Lamport and S. Merz, Specifying and verifying fault-tolerant systems, Proc. of Third Int. Symp. on Formal Techniques in Real-Time and Fault- Tolerant Systems (FTRTFT'94), organized jointly with the Working Group Provably Correct Systems -Pro- CoS, pp.41-76, 1994.
DOI : 10.1007/3-540-58468-4_159

S. S. Kulkarni, B. Bonakdarpour, and A. Ebnenasir, Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs, Proc. of 14th Int. Symp. on Logic Based Program Synthesis and Transformation, pp.36-52, 2004.
DOI : 10.1007/11506676_3

R. Guerraoui, T. A. Henzinger, and V. Singh, Model checking transactional memories, Distributed Computing, vol.54, issue.4, pp.129-145, 2010.
DOI : 10.1007/s00446-009-0092-6

I. Chatzigiannakis, O. Michail, and P. G. Spirakis, Algorithmic Verification of Population Protocols, Proc. of 12th Int. Symp. on Stabilization, Safety, and Security of Distributed Systems (SSS'10), pp.221-235, 2010.
DOI : 10.1137/0201010

J. Clément, C. Delporte-gallet, H. Fauconnier, and M. Sighireanu, Guidelines for the Verification of Population Protocols, 2011 31st International Conference on Distributed Computing Systems, pp.215-224, 2011.
DOI : 10.1109/ICDCS.2011.36

B. Charron-bost, H. Debrat, and S. Merz, Formal Verification of Consensus Algorithms Tolerating Malicious Faults, Proc. of 13th Int. Symp. on Stabilization, Safety, and Security of Distributed Systems (SSS'11), pp.120-134, 2011.
DOI : 10.1007/978-3-540-87779-0_32

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

T. Lu, S. Merz, and C. Weidenbach, Towards Verification of the Pastry Protocol Using TLA???+???, Proc of Joint 13t Int. Conf. (FMOODS'11) 2011, and 31st Int. Conf. (FORTE'11) on Formal Techniques for Distributed Systems, pp.244-258, 2011.
DOI : 10.1007/3-540-48153-2_6

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

T. Tsuchiya and A. Schiper, Verification of consensus algorithms using satisfiability solving, Distributed Computing, pp.341-358, 2011.
DOI : 10.1109/TDSC.2006.13

K. R. Apt and D. Kozen, Limits for automatic verification of finite-state concurrent systems, Information Processing Letters, vol.22, issue.6, pp.307-309, 1986.
DOI : 10.1016/0020-0190(86)90071-2

J. Esparza, A. Finkel, and R. Mayr, On the verification of broadcast protocols, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158), pp.352-359, 1999.
DOI : 10.1109/LICS.1999.782630

I. Suzuki, Proving properties of a ring of finite-state machines, Information Processing Letters, vol.28, issue.4, pp.213-214, 1988.
DOI : 10.1016/0020-0190(88)90211-6

B. Aminof, T. Kotek, S. Rubin, F. Spegni, and H. Veith, Parameterized Model Checking of Rendezvous Systems, CONCUR 2014 Concurrency Theory, pp.109-124, 2014.
DOI : 10.1007/978-3-662-44584-6_9

E. , A. Emerson, and K. S. Namjoshi, Reasoning about rings, Proceedings of the 22Nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.85-94, 1995.
DOI : 10.1145/199448.199468

Z. Manna and A. Pnueli, Temporal verification diagrams, Proc.of Int. Conf. on Theoretical Aspects of Computer Software (TACS'94), pp.726-765, 1994.
DOI : 10.1007/3-540-57887-0_123

URL : ftp://theory.stanford.edu/pub/sipma/FST-TCS95.ps

E. M. Clarke, O. Grumberg, and S. Jha, Veryfying parameterized networks using abstraction and regular languages, Proc. of 6th Int. Conf. on Concurrency Theory (CONCUR'95), pp.395-407, 1995.
DOI : 10.1007/3-540-60218-6_30

URL : http://www.cs.technion.ac.il/users/orna/final-concur95.ps

N. Bjørner, A. Browne, E. Y. Chang, M. Colón, A. Kapur et al., STeP: Deductive-algorithmic verification of reactive and real-time systems, Proc. of 8th Int. Conf. on Computer Aided Verification (CAV'96), volume 1102 of LNCS, pp.415-418, 1996.
DOI : 10.1007/3-540-61474-5_92

L. De-alfaro, Z. Manna, H. B. Sipma, and T. E. Uribe, Visual verification of reactive systems, Proc. of 3d Int. Workshop on Tools and Algorithms for Construction and Analysis of Systems (TACAS'97, pp.334-350, 1997.
DOI : 10.1007/BFb0035398

D. Cansell, D. Méry, and S. Merz, Diagram refinements for the design of reactive systems, J. Univ. Comp. Sci, vol.7, issue.2, pp.159-174, 2001.

T. Arons, A. Pnueli, S. Ruah, J. Xu, and L. D. Zuck, Parameterized Verification with Automatically Computed Inductive Assertions?, Proc. of 13th Int. Conf. on Computer Aided Verification (CAV'01), volume 2102 of LNCS, pp.221-234, 2001.
DOI : 10.1007/3-540-44585-4_19

URL : http://www.wisdom.weizmann.ac.il/home/tamarah/public_html/Cav01/aprxz01.ps.gz

A. Gmeiner, . Konnov, H. Schmid, J. Veith, and . Widder, Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms, Formal Methods for Executable Software Models, pp.122-171, 2014.
DOI : 10.1007/s00446-007-0026-0

S. Devismes, A. Lamani, F. Petit, P. Raymond, and S. Tixeuil, Optimal Grid Exploration by Asynchronous Oblivious Robots, Proc of 14th Int. Symp. on Stabilization , Safety, and Security of Distributed Systems (SSS'12), pp.64-76, 2012.
DOI : 10.1007/978-3-642-33536-5_7

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

F. Bonnet, X. Défago, F. Petit, M. Potop-butucaru, and S. Tixeuil, Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols, Proc of 14th Int. Symp. on Stabilization, Safety, and Security of Distributed Systems (SSS'12), pp.282-284, 2012.
DOI : 10.1007/978-3-642-33536-5_28

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

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous dataflow programming language Lustre, Proceedings of the IEEE, pp.1305-1320, 1991.

J. Barnat, L. Brim, V. Havel, J. Havlícek, J. Kriho et al., DiVinE 3.0 ??? An Explicit-State Model Checker for Multithreaded C & C++ Programs, Proc. of 25th Int. Conf. on Computer Aided Verification (CAV'13), pp.863-868, 2013.
DOI : 10.1007/978-3-642-39799-8_60

M. Colange, S. Baarir, F. Kordon, and Y. Thierry-mieg, Towards Distributed Software Model-Checking Using Decision Diagrams, Proc. of 25th Int. Conf. on Computer Aided Verification (CAV'13), pp.830-845, 2013.
DOI : 10.1007/978-3-642-39799-8_58

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

G. Behrmann, A. Cougnard, A. David, E. Fleury, K. G. Larsen et al., UPPAAL-Tiga: Time for Playing Games!, 19th International Conference on Computer Aided Verification, CAV'07, pp.121-125, 2007.
DOI : 10.1007/978-3-540-73368-3_14

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

J. Barnat, L. Brim, M. Ce?ka, and P. Ro?kai, Di- VinE: Parallel Distributed Model Checker (Tool paper ), Parallel and Distributed Methods in Verification and High Performance Computational Systems Biology, pp.4-7, 2010.
DOI : 10.1109/pdmc-hibi.2010.9

G. Holzmann, The model checker SPIN, IEEE Transactions on Software Engineering, vol.23, issue.5, 2003.
DOI : 10.1109/32.588521

S. Blom, J. Van-de-pol, and M. Weber, LTSmin: Distributed and Symbolic Reachability
DOI : 10.1007/978-3-642-14295-6_31

B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit et al., Systems and Software Verification: Model-Checking Techniques and Tools, 2010.
DOI : 10.1007/978-3-662-04558-9

M. A. Harrison, Introduction to Formal Language Theory, 1978.

J. Bengtsson, K. G. Larsen, F. Larsson, P. Pettersson, and W. Yi, UPPAAL ? a Tool Suite for Automatic Verification of Real?Time Systems, Proc. of Workshop on Verification and Control of Hybrid Systems III, number 1066 in Lecture Notes in Computer Science, pp.232-243, 1995.

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

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

W. M. Ramadge and P. J. Wonham, Supervisory control of a class of discrete event processes, Proc. of 6th Int. Conf. on Analysis and Optimization of Systems, 1984.

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

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