A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System.

Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan W. Gardner, Aurora C. Schmidt, Erik Zawadzki, Andr Platzer

Browse the full TACAS paper archive.