Robotics is a key technology in the modern world. Robots are a well-established part of manufacturing and warehouse automation, assembling cars or washing machines, and, for …