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⟩