Finding Swarm Property Violations (SPVs) on Olfati-Saber A2
100Success RateSwarmFuzzBinary
Evaluation results
| Method | Links | |
|---|---|---|
| SwarmFuzzBinarySwarm size=15 drones, GPS spoofing distance=10m2026.05 | 100 | |
| SwarmFuzzBinarySwarm size=10 drones, GPS spoofing distance=10m2026.05 | 99 | |
| SwarmFuzzBinarySwarm size=15 drones, GPS spoofing distance=5m2026.05 | 97 | |
| SwarmFuzzBinarySwarm size=Average, GPS spoofing distance=10m2026.05 | 91.3 | |
| SwarmFuzzBinarySwarm size=10 drones, GPS spoofing distance=5m2026.05 | 87 | |
| SwarmFuzzBinarySwarm size=Average, GPS spoofing distance=5m2026.05 | 81.7 | |
| SwarmFuzzBinarySwarm size=5 drones, GPS spoofing distance=10m2026.05 | 75 | |
| SwarmFuzzBinarySwarm size=5 drones, GPS spoofing distance=5m2026.05 | 61 |