Copertina

Neural Network Verification for Gliding Drone Control: A Case Study

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Kessler, Colin, Komendantskaya, Ekaterina, Casadio, Marco, Viola, Ignazio Maria, Flinkow, Thomas, Othman, Albaraa Ammar, Malhotra, Alistair, McPherson, Robbie
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Robotics Artificial Intelligence Systems and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

A General Framework for Property-Driven Machine Learning
di: Flinkow, Thomas, et al.
Pubblicazione: (2025)

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
di: Flinkow, Thomas, et al.
Pubblicazione: (2026)

Robotically adjustable kinematics in a wrist-driven orthosis eases grasping across tasks
di: Chang, Erin Y., et al.
Pubblicazione: (2024)

Reinforcement Learning for Gliding Projectile Guidance and Control
di: Cahn, Joel, et al.
Pubblicazione: (2025)

Case Study: Runtime Safety Verification of Neural Network Controlled System
di: Yang, Frank, et al.
Pubblicazione: (2024)

Disturbance-Aware Flight Control of Robotic Gliding Blimp via Moving Mass Actuation
di: Cheng, Hao, et al.
Pubblicazione: (2026)

Gliding in extreme waters: Dynamic Modeling and Nonlinear Control of an Agile Underwater Glider
di: Yang, Hanzhi, et al.
Pubblicazione: (2024)

Proof-Carrying Neuro-Symbolic Code
di: Komendantskaya, Ekaterina
Pubblicazione: (2025)

RGBlimp-Q: Robotic Gliding Blimp With Moving Mass Control Based on a Bird-Inspired Continuum Arm
di: Cheng, Hao, et al.
Pubblicazione: (2024)

Magnisketch Drone Control
di: Kline, Ashley, et al.
Pubblicazione: (2024)

Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice
di: Daggitt, Matthew L., et al.
Pubblicazione: (2026)

Dramatic School Library Literacy Programs
di: McPherson, Keith
Pubblicazione: (2005)

Visual Literacy and School Libraries
di: McPherson, Keith
Pubblicazione: (2004)

Reading Lifelong Literacy Links into the School Library
di: McPherson, Keith
Pubblicazione: (2005)

Tele-Video Literacy in the School Library Resource Center
di: McPherson, Keith
Pubblicazione: (2005)

Grip as Needed, Glide on Demand: Ultrasonic Lubrication for Robotic Locomotion
di: Atalla, Mostafa A., et al.
Pubblicazione: (2026)

Wind-Aware Optimal Trajectory Planning for Efficient Gliding of Fixed-Wing Aerial Systems
di: Morando, Luca, et al.
Pubblicazione: (2026)

NLP Verification: Towards a General Methodology for Certifying Robustness
di: Casadio, Marco, et al.
Pubblicazione: (2024)

Learning Resilient Formation Control of Drones with Graph Attention Network
di: Xiao, Jiaping, et al.
Pubblicazione: (2024)

Co-Design Optimisation of Morphing Topology and Control of Winged Drones
di: Bergonti, Fabio, et al.
Pubblicazione: (2023)

OmniDrones: An Efficient and Flexible Platform for Reinforcement Learning in Drone Control
di: Xu, Botian, et al.
Pubblicazione: (2023)

Robust Evacuation for Multi-Drone Failure in Drone Light Shows
di: Park, Minhyuk, et al.
Pubblicazione: (2026)

HADRON: Human-friendly Control and Artificial Intelligence for Military Drone Operations
di: Faulí, Ana M. Casado, et al.
Pubblicazione: (2024)

A Multi-Simulation Approach with Model Predictive Control for Anafi Drones
di: Goldschmid, Pascal, et al.
Pubblicazione: (2025)

A Universal Large Language Model -- Drone Command and Control Interface
di: Ramos-Silva, Javier N., et al.
Pubblicazione: (2026)

Reinforcement Twinning for Hybrid Control of Flapping-Wing Drones
di: Poletti, Romain, et al.
Pubblicazione: (2025)

Accurate Control under Voltage Drop for Rotor Drones
di: Liu, Yuhang, et al.
Pubblicazione: (2025)

CoDrone: Autonomous Drone Navigation Assisted by Edge and Cloud Foundation Models
di: Chen, Pengyu, et al.
Pubblicazione: (2025)

Geofenced Unmanned Aerial Robotic Defender for Deer Detection and Deterrence (GUARD)
di: Temesgen, Ebasa, et al.
Pubblicazione: (2025)

FISC: A Fluid-Inspired Framework for Decentralized and Scalable Swarm Control
di: Kolluri, Mohini Priya, et al.
Pubblicazione: (2026)

A Case Study in Recovery of Drones using Discrete-Event Systems
di: Burns, Liam P., et al.
Pubblicazione: (2026)

LLM-Drone: Aerial Additive Manufacturing with Drones Planned Using Large Language Models
di: Raman, Akshay, et al.
Pubblicazione: (2025)

Enhancing Drone Light Shows Performances: Optimal Allocation and Trajectories for Swarm Drone Formations
di: Alqudsi, Yunes
Pubblicazione: (2026)

FAIR^2 Drones: An AI-Ready Standard for Cross-Domain Wildlife Drone Datasets
di: Kline, Jenna, et al.
Pubblicazione: (2026)

Cycle-resolved Cephalopod-Inspired Pulsed-Jet Robot With High-Volume Expulsion and Drag-Reduced Gliding
di: Zhang, Yiyuan, et al.
Pubblicazione: (2026)

Control-Aware Trajectory Predictions for Communication-Efficient Drone Swarm Coordination in Cluttered Environments
di: Yan, Longhao, et al.
Pubblicazione: (2024)

A Survey of Medical Drones from Flight Dynamics, Guidance, Navigation, and Control Perspectives
di: Chhetri, Roshan Kumar, et al.
Pubblicazione: (2026)

Design and Control of a Perching Drone Inspired by the Prey-Capturing Mechanism of Venus Flytrap
di: Li, Ye, et al.
Pubblicazione: (2025)

AT-Drone: Benchmarking Adaptive Teaming in Multi-Drone Pursuit
di: Li, Yang, et al.
Pubblicazione: (2025)

Vocalics in Human-Drone Interaction
di: Lieser, Marc, et al.
Pubblicazione: (2023)