Xavier Urbain


Professeur des universités


Équipe(s)DRIM
Etablissement de rattachement
Université Claude Bernard Lyon 1
Implantation
Nautibus (Université Lyon1)
Courrielxavier.urbain at liris.cnrs.fr
Téléphone professionnel
Page perso

Publications

Publications LIRIS pour Xavier Urbain (3)

  • 2018 (2)
    • Revues (1)
      • Revues internationales avec comité de lecture (1)
        •  Thibaut Balabonski, Amélie Delga, Lionel Rieg, Sébastien Tixeuil & Xavier Urbain (2018). « Synchronous Gathering without Multiplicity Detection: a Certified Algorithm ». Theory of Computing Systems. doi : 10.1007/s00224-017-9828-z. HAL : hal-01894618.
    • Rapports (1)
      • Rapports de recherche/technique (1)
        •  Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil & Xavier Urbain (2018). « Continuous vs. Discrete Asynchronous Moves: a Certified Approach for Mobile Robots ». . Rapport (?). pp. 1-12. HAL : hal-01762962. .
  • 2017 (1)
    • Conférences (1)
      • Conférences internationales avec comité de lecture (1)
        •  Thibaut Balabonski, Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil & Xavier Urbain (2017). « Certified Gathering of Oblivious Mobile Robots: survey of recent results and open problems ». Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS/AVOCS), 20 septembre 2017, Turin (Italie), pp. 165-181. doi : 10.1007/978-3-319-67113-0_11. HAL : hal-01549942.