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

Abstract : 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.
Type de document :
Rapport
[Research Report] Sorbonne Université, CNRS, Laboratoire d’Informatique de Paris 6, LIP6, F-75005 Paris, France. 2018, pp.1-12
Liste complète des métadonnées

Littérature citée [44 références]  Voir  Masquer  Télécharger

https://hal.sorbonne-universite.fr/hal-01762962
Contributeur : Sébastien Tixeuil <>
Soumis le : mardi 10 avril 2018 - 15:24:52
Dernière modification le : mardi 10 juillet 2018 - 17:02:04

Fichiers

main_tr.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01762962, 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. [Research Report] Sorbonne Université, CNRS, Laboratoire d’Informatique de Paris 6, LIP6, F-75005 Paris, France. 2018, pp.1-12. 〈hal-01762962〉

Partager

Métriques

Consultations de la notice

161

Téléchargements de fichiers

38