Safer Learning-enabled Autonomous Systems