Neural Network Verification for Gliding Drone Control: A Case Study

Open in new window