TY  - RPRT
TI  - Neural Network Verification for Gliding Drone Control: A Case Study
AU  - Colin Kessler
AU  - Ekaterina Komendantskaya
AU  - Marco Casadio
AU  - Ignazio Maria Viola
AU  - Thomas Flinkow
AU  - Albaraa Ammar Othman
AU  - Alistair Malhotra
AU  - Robbie McPherson
PY  - 2025
UR  - https://arxiv.org/abs/2505.00622
ID  - 2505.00622
ER  -