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

Space Debris Collision Detection using Reachability. - Kerianne Hobbs; Peter Heidlauf; Alexander Collins; Stanley Bak (ARCH@ADHS, 2018)