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

Integration of machine learning (ML) components in critical applications introduces novel challenges for software certification and verification. New safety standards and technical guidelines are under development to support the safety of ML-based systems, e.g.