Verification of temporal consistency constraints in the evolution of software for intelligent unmanned systems driven by model checking. [PDF]
Lu C, Li C, Liu C, Wu X, Huang Y.
europepmc +1 more source
Intelligent Dynamic-Enhanced Compensation for UAV Magnetic Interference. [PDF]
Chen Z +7 more
europepmc +1 more source
Development and challenges of autonomous electric vertical take-off and landing aircraft. [PDF]
Hu L, Yan X, Yuan Y.
europepmc +1 more source
Elephant habituation to drones as a behavioural observation tool. [PDF]
Carey-Douglas A +8 more
europepmc +1 more source
Design and Evaluation Method of a High-Overload Test Device Based on AD-TRIZ. [PDF]
Zhou P +5 more
europepmc +1 more source
A Novel Aerial-Aquatic Unmanned Vehicle Using Flapping Wings for Underwater Propulsion. [PDF]
He J +6 more
europepmc +1 more source
Structural and Material Optimization of a Sensor-Integrated Autonomous Aerial Vehicle Using KMU-3 CFRP. [PDF]
Nurgizat Y +4 more
europepmc +1 more source
Enhanced real-time 6d pose estimation for automatic recovery of in-flight UAVs using distance-aware keypoint heatmaps. [PDF]
Jeong M, Choi AJ.
europepmc +1 more source
An Inter-Frequency Cross-Validation Approach for Pseudo-Range Fault Detection in GNSS Relative Positioning. [PDF]
Li Z, Wang D, Wu J.
europepmc +1 more source
The Use of Laser Sensing for Solving Meteorological Problems Related to Researching and Ensuring the Safety of Space Flights. [PDF]
Boreysho AS +4 more
europepmc +1 more source

