Certified ML Object Detection for Surveillance Missions