Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
![]()
A comme version hal-01762962 Rapport Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, et al.. Continuous vs. Discrete Asynchronous Moves: a Certified Approach for Mobile Robots. [Research Report] Sorbonne Université, CNRS, Laboratoire d’Informatique de Paris 6, LIP6, F-75005 Paris, France. 2018, pp.1-12. ⟨hal-01762962⟩