Documentation
Français (FR)

Anglais (EN)

Sébastien Tixeuil

7

Documents

Publications

robin-pelle

	Du discrètement continu au continûment discret Thibaut Balabonski , Pierre Courtieu , Robin Pelle , Lionel Rieg , Sébastien Tixeuil ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France Communication dans un congrès hal-02871295v1
	Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots Thibaut Balabonski , Pierre Courtieu , Robin Pelle , Lionel Rieg , Sébastien Tixeuil 7th International Conference on NETworked sYStems (NETYS 2019), Jun 2019, Marrakech, Morocco. pp.93-09, ⟨10.1007/978-3-030-31277-0_7⟩ Communication dans un congrès hal-02115599v1
	Manuel de savoir-prouver à l’usage des roboteux et des distributeux Thibaut Balabonski , Pierre Courtieu , Robin Pelle , Lionel Rieg , Sébastien Tixeuil ALGOTEL 2019 - 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2019, Saint Laurent de la Cabrerisse, France. pp.1-4 Communication dans un congrès hal-02115611v1
	Brief Announcement Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots Thibaut Balabonski , Pierre Courtieu , Robin Pelle , Lionel Rieg , Sébastien Tixeuil Stabilization, Safety, and Security of Distributed Systems. SSS 2018., Xavier Defago, Toshimitsu Masuzawa, Koichi Wada, Nov 2018, Tokyo, Japan. pp.404-408, ⟨10.1007/978-3-030-03232-6_29⟩ Communication dans un congrès hal-01937420v1
	A Foundational Framework for Certified Impossibility Results with Mobile Robots on Graphs Thibaut Balabonski , Robin Pelle , Lionel Rieg , Sébastien Tixeuil ICDCN 2018 - 19th International Conference on Distributed Computing and Networking, Jan 2018, Varanasi, India. pp.1-10, ⟨10.1145/3154273.3154321⟩ Communication dans un congrès hal-01753439v1

	Computer Aided Formal Design of Swarm Robotics Algorithms Thibaut Balabonski , Pierre Courtieu , Robin Pelle , Lionel Rieg , Sébastien Tixeuil 2021 Pré-publication, Document de travail hal-03111541v1

	Continuous vs. Discrete Asynchronous Moves: a Certified Approach for Mobile Robots Thibaut Balabonski , Pierre Courtieu , Robin Pelle , Lionel Rieg , Sébastien Tixeuil [Research Report] Sorbonne Université, CNRS, Laboratoire d’Informatique de Paris 6, LIP6, F-75005 Paris, France. 2018, pp.1-12 Rapport hal-01762962v1