Optimisation-based verification process of obstacle avoidance systems for unmanned vehicles