Formal Verification of Local Robustness of a Classification Algorithm for a Spatial Use Case

Delphine Longuet, Amira Elouazzani, Alejandro Penacho Riveiros +1

Failures in satellite components are costly and challenging to address, often requiring significant human and material resources. Embedding a hybrid AI-based system for fault detec…