The rapid rise of self-driving cars and drones has raised questions about the safety of autonomous robotics deployed in society. This is due to the large numbers of system state variables involved, the resulting degraded ...