Certified ML Object Detection for Surveillance Missions. - Mohammed Belcaid; Eric Bonnafous; Louis Crison; Christophe Faure; Eric Jenn; Claire Pagetti (CoRR, 2024)