Time-optimal trajectories for a robot manipulator: a provably good approximation algorithm | IEEE Conference Publication | IEEE Xplore