Sébastien Tixeuil
3
Documents
Publications
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
[Invited Paper] Formal Methods for Mobile Robots: Current Results and Open ProblemsInternational Journal of Informatics Society, 2015, 7 (3), pp.101-114
Article dans une revue
hal-01238784v1
|
|
Synthèse d'algorithmes pour robots mobiles : le cas du regroupement sur un anneauALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France
Communication dans un congrès
hal-01154517v1
|
|
On the Synthesis of Mobile Robots Algorithms: the Case of Ring GatheringSSS 2014 - 16th International Symposium on Stabilization, Safety and Security of Distributed Systems, Sep 2014, Paderborn, Germany. pp.237-251, ⟨10.1007/978-3-319-11764-5_17⟩
Communication dans un congrès
hal-01016832v2
|