1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
Yu Nakai, Akira Terui, Masahiko Mikawa
We propose an algorithm and its implementation for trajectory planning and certification for 3-DOF robot manipulators. The method uses Real Quantifier Elimination (QE) based on Com…