Recent advances in robotics based on data-driven AI hold promise for a wide range of practical applications. However, ensuring the safety of these ...