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
8th Int. Symp. on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations, SCAN2018, Sep 2018, Tokyo, Japan
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 15 juin 2018 - 01:18:16

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. 8th Int. Symp. on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations, SCAN2018, Sep 2018, Tokyo, Japan. 〈hal-01814773〉

Partager

Métriques

Consultations de la notice

56

Téléchargements de fichiers

10