A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system.
Jean-Baptiste JeanninKhalil GhorbalYanni KouskoulasAurora C. SchmidtRyan W. GardnerStefan MitschAndré PlatzerPublished in: Int. J. Softw. Tools Technol. Transf. (2017)