@misc{indiciae964116be7d1d,
  title = {Formal Verification of Local Robustness of a Classification Algorithm for a Spatial Use Case},
  author = {Delphine Longuet and Amira Elouazzani and Alejandro Penacho Riveiros and Nicola Bastianello},
  year = {2025},
  doi = {10.4204/eptcs.436.4},
  url = {https://arxiv.org/abs/2509.03948},
  note = {Source identifier: 2509.03948}
}