GraphDAC: A Graph-Analytic Approach to Dynamic Airspace Configuration. - Ke Feng 001; Dahai Liu; Yongxin Liu 001; Hong Liu; Houbing Song (IRI, 2023)

A Survey on Verification and Validation, Testing and Evaluations of Neurosymbolic Artificial Intelligence. - Justus Renkhoff; Ke Feng 001; Marc Meier-Doernberg; Alvaro Velasquez; Houbing Herbert Song (IEEE Trans. Artif. Intell., 2024)