Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots - Archive ouverte HAL
Communication Dans Un Congrès Année : 2019

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

Fichier non déposé

Dates et versions

hal-02115599 , version 1 (30-04-2019)

Identifiants

Citer

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.93-09, ⟨10.1007/978-3-030-31277-0_7⟩. ⟨hal-02115599⟩
228 Consultations
0 Téléchargements

Altmetric

Partager

More