ResearchTrend.AI
Neural Network Verification for Gliding Drone Control: A Case Study

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
ArXiv (abs)PDFHTML

Papers citing "Neural Network Verification for Gliding Drone Control: A Case Study"

1 / 1 papers shown
Title
A General Framework for Property-Driven Machine Learning
A General Framework for Property-Driven Machine Learning
Thomas Flinkow
Marco Casadio
Colin Kessler
Rosemary Monahan
Ekaterina Komendantskaya
AAML
398
2
0
01 May 2025