Neural Network Verification for Gliding Drone Control: A Case Study. - Colin Kessler; Ekaterina Komendantskaya; Marco Casadio; Ignazio Maria Viola; Thomas Flinkow; Albaraa Ammar Othman; Alistair Malhotra; Robbie McPherson (CoRR, 2025)