Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots

Thibaut Balabonski 1 Pierre Courtieu 2 Robin Pelle 1 Lionel Rieg 3 Sébastien Tixeuil 4, 5 Xavier Urbain 6
1 VALS - LRI - Vérification d'Algorithmes, Langages et Systèmes (LRI)
LRI - Laboratoire de Recherche en Informatique
2 CEDRIC - SYS - CEDRIC. Systèmes sûrs
CEDRIC - Centre d'études et de recherche en informatique et communications
4 NPA - Networks and Performance Analysis
LIP6 - Laboratoire d'Informatique de Paris 6
6 DRIM - Distribution, Recherche d'Information et Mobilité
LIRIS - Laboratoire d'InfoRmatique en Image et Systèmes d'information
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02115599
Contributor : Xavier Urbain <>
Submitted on : Tuesday, April 30, 2019 - 1:25:35 PM
Last modification on : Wednesday, May 15, 2019 - 5:21:17 PM

Identifiers

  • HAL Id : hal-02115599, version 1

Citation

Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, et al.. Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots. 7th International Conference on NETworked sYStems (NETYS 2019), Jun 2019, Marrakech, Morocco. pp.1-15. ⟨hal-02115599⟩

Share

Metrics

Record views

53