A mithrilian approach to safety and robustness of autonomous cyber-physical systems