Skip to Main content Skip to Navigation
Conference papers

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
Document type :
Conference papers
Complete list of metadatas

Cited literature [3 references]  Display  Hide  Download

https://hal.inria.fr/hal-01814773
Contributor : Eric Marchand <>
Submitted on : Wednesday, June 13, 2018 - 3:12:06 PM
Last modification on : Friday, July 10, 2020 - 4:20:57 PM
Long-term archiving on: : Friday, September 14, 2018 - 9:04:41 PM

File

2018_scan_kenmogne.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

326

Files downloads

74