Continuous vs. Discrete Asynchronous Moves: a Certified Approach for Mobile Robots - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2018

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

Résumé

Oblivious Mobile Robots have been studied both in continuous Euclidean spaces, and discrete spaces (that is, graphs). However the obtained literature forms distinct sets of results for the two settings. In this paper, we explore the possibility of transforming results obtained in one model into results for the other one. Our approach focuses on certified results using the COQ proof assistant.
Fichier principal
Vignette du fichier
main_tr.pdf (224.23 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01762962 , version 1 (10-04-2018)

Identifiants

  • HAL Id : hal-01762962 , version 1

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. [Research Report] Sorbonne Université, CNRS, Laboratoire d’Informatique de Paris 6, LIP6, F-75005 Paris, France. 2018, pp.1-12. ⟨hal-01762962⟩
558 Consultations
339 Téléchargements

Partager

Gmail Facebook X LinkedIn More