TY  - RPRT
TI  - Formal Verification of Local Robustness of a Classification Algorithm for a Spatial Use Case
AU  - Delphine Longuet
AU  - Amira Elouazzani
AU  - Alejandro Penacho Riveiros
AU  - Nicola Bastianello
PY  - 2025
DO  - 10.4204/eptcs.436.4
UR  - https://arxiv.org/abs/2509.03948
ID  - 2509.03948
ER  -