-
1
Verification of temporal consistency constraints in the evolution of software for intelligent unmanned systems driven by model checking
Published 2025-07-01Subjects: Get full text
Article -
2
Intelligent Unmanned Defense System for Autonomous Interception of UAVs Based on Improved Acoustic Source Localization Algorithm
Published 2025-01-01Subjects: “…Intelligent unmanned systems…”
Get full text
Article