Login / Signup
Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP.
Ekaterina Auer
Andreas Rauh
Eberhard P. Hofer
Wolfram Luther
Published in:
Reliable Implementation of Real Number Algorithms (2008)
Keyphrases
</>
mechanical systems
motion planning
pose estimation
dynamical systems
path planning
machine vision
dynamic systems