Local verification – visibility consistency
Consider expected observations from viewpoint of sensor C1
Consistent – S2 close to S1 wherever both observed
Free space violation – S2 blocks visibility of S1
Occupied space violation – S1 unobserved, even though it should be (sensor model required)