Researchers Flag Hardware and Verification Limits in Robotics · Digg