Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2505.00622
Cited By
Neural Network Verification for Gliding Drone Control: A Case Study
1 May 2025
Colin Kessler
Ekaterina Komendantskaya
Marco Casadio
Ignazio Maria Viola
Thomas Flinkow
Albaraa Ammar Othman
Alistair Malhotra
Robbie McPherson
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Neural Network Verification for Gliding Drone Control: A Case Study"
1 / 1 papers shown
Title
A Generalised Framework for Property-Driven Machine Learning
Thomas Flinkow
Marco Casadio
Colin Kessler
Rosemary Monahan
Ekaterina Komendantskaya
AAML
52
1
0
01 May 2025
1
