Quantifier elimination for robot positioning with landmarks of uncertain position

Ide-Flore Kenmogne 1 Vincent Drevelle 1 Eric Marchand 1
1 RAINBOW - Sensor-based and interactive robotics
Inria Rennes – Bretagne Atlantique , IRISA_D5 - SIGNAUX ET IMAGES NUMÉRIQUES, ROBOTIQUE
Abstract : No abstract
Type de document :
Communication dans un congrès
SCAN 2018 - 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations, Sep 2018, Tokyo, Japan. pp.1-2
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01814773
Contributeur : Eric Marchand <>
Soumis le : mercredi 13 juin 2018 - 15:12:06
Dernière modification le : vendredi 29 juin 2018 - 08:35:10
Document(s) archivé(s) le : vendredi 14 septembre 2018 - 21:04:41

Fichier

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

Identifiants

  • HAL Id : hal-01814773, version 1

Citation

Ide-Flore Kenmogne, Vincent Drevelle, Eric Marchand. Quantifier elimination for robot positioning with landmarks of uncertain position. SCAN 2018 - 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations, Sep 2018, Tokyo, Japan. pp.1-2. 〈hal-01814773〉

Partager

Métriques

Consultations de la notice

166

Téléchargements de fichiers

32