Formal Verification of Local Robustness of a Classification Algorithm for a Spatial Use Case. - Delphine Longuet; Amira Elouazzani; Alejandro Penacho Riveiros; Nicola Bastianello (CoRR, 2025)