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
*Corresponding author for this work
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution