Original Research
Published on 31 Jul 2025
Formal verification of a machine learning tool for runway configuration assistance
in Intelligent Aerospace Systems
Frontiers in Aerospace Engineering
doi 10.3389/fpace.2025.1463425
- 2,516 views
