Ergo, SMIRK is safe: a safety case for a machine learning component in a pedestrian automatic emergency brake system