Verification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers. - Peter Heidlauf; Alexander Collins; Michael Bolender; Stanley Bak (ARCH@ADHS, 2018)

Physics-Based Neural Networks for Modeling & Control of Aerial Vehicles. - Bennett Breese; Manish Kumar 006; Michael Bolender; David W. Casbeer (ACC, 2022)