Accéder directement au contenu

Sébastien Tixeuil

9
Documents

Publications

sznajder-nathalie

On the Encoding and Solving of Partial Information Games

Yackolley Amoussou-Guenou , Souheib Baarir , Maria Potop-Butucaru , Nathalie Sznajder , Léo Tible
8th International Conference on Networked Systems - NETYS 2020, Jun 2020, Marrakech, Morocco. pp.60-76, ⟨10.1007/978-3-030-67087-0_5⟩
Communication dans un congrès hal-02979574v1

Parameterized verification of algorithms for oblivious robots on a ring

Arnaud Sangnier , Nathalie Sznajder , Maria Potop-Butucaru , Sébastien Tixeuil
Formal Methods in Computer Aided Design, Oct 2017, Vienna, Austria. pp.212-219, ⟨10.23919/FMCAD.2017.8102262⟩
Communication dans un congrès hal-01664894v1
Image document

Synthèse d'algorithmes pour robots mobiles : le cas du regroupement sur un anneau

Laure Millet , Maria Potop-Butucaru , Nathalie Sznajder , Sébastien Tixeuil
ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France
Communication dans un congrès hal-01154517v1
Image document

On the Synthesis of Mobile Robots Algorithms: the Case of Ring Gathering

Laure Millet , Maria Potop-Butucaru , Nathalie Sznajder , Sébastien Tixeuil
SSS 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

Formal Methods for Mobile Robots

Maria Potop-Butucaru , Nathalie Sznajder , Sébastien Tixeuil , Xavier Urbain
Paola Flocchini; Giuseppe Prencipe; Nicola Santoro. Distributed Computing by Mobile Entities, Current Research in Moving and Computing, 11340, Springer International Publishing, pp.278-313, 2019, Theoretical Computer Science and General Issues, 978-3-030-11071-0. ⟨10.1007/978-3-030-11072-7_12⟩
Chapitre d'ouvrage hal-01981634v1