A spatial sampling criterion for sonar obstacle detection | Synapse