Interval-Arithmetic-Based Trajectory Scaling and Collision Detection for Robots with Uncertain Dynamics | IEEE Conference Publication | IEEE Xplore