skip to content W3C SVG

Actualités

Projets

Colloques

  • AlgoTel 24 joint with CoRes 24, Saint-Briac-sur-Mer, mai 2024.

  • Scientific committee MAC 23 satellite event of OPODIS 2023, Tôkyô, décembre 2023.

  • Exposé FIT Europe : Seminar 4, Bucarest, 21 mars 2022.

  • Conférence SSS 21 : Stabilization, Safety, and Security of Distributed Systems.
    (PC member)

  • Workshop FuReThErMoRe : Mobility and Redundancy, Lyon, 1er octobre 2019, joint avec SRDS.

  • Workshop MoRoVer : Mobile Robots and Verification, Lyon, 15 et 16 novembre 2017.

Publications récentes

  • Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil et Xavier Urbain. Swarms of Mobile Robots: towards Versatility with Safety. Leibniz Transactions on Embedded Systems. (https://doi.org/10.4230/LITES.8.2.2)

  • Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain. Brief Announcement: Computer Aided Formal Design of Swarm Robotics Algorithms. In Johnen, Schiller et Schmid éd., Stabilization, Safety, and Security of Distributed Systems (SSS 2021), vol. 13046 des LNCS, pp.469-473. Novembre 2021.

  • Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain. Comment s’assurer de garder le contact (et nos distances). In AlgoTel 2021, La Rochelle , France. Sept. 2021.