Safest Path Adversarial Coverage: Proofs and Algorithm Details