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