A Mithrilian Approach To Safety And Robustness Of Autonomous Cyber-Physical Systems