Original Research
Accepted on 29 Jun 2025
Formal Verification of a Machine Learning Tool for Runway Configuration Assistance
Frontiers in Aerospace Engineering
doi 10.3389/fpace.2025.1463425
Original Research
Accepted on 29 Jun 2025
Original Research
Published on 30 May 2025
Original Research
Published on 20 Feb 2025
Original Research
Published on 14 Feb 2025