Method rapidly verifies that a robot will avoid collisionsRobotic safety check algorithm can prove trajectories collision-freeMIT researchers use sum-of-squares programming for precise robot trajectory safety checks