Library

Articles

Every article on Frontiers is peer reviewed, permanently archived and free to read.

Showing 1 article

Aerospace Engineering
Published 31 July 2025
Formal verification of a machine learning tool for runway configuration assistance
Pouria Razzaghi · Milad Memarzadeh · Krishna Kalyanam
Frontiers in Aerospace Engineering
doi 10.3389/fpace.2025.1463425