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

Open in new window