Formally Verified Timing Computation for Non-deterministic Horizontal Turns During Aircraft Collision Avoidance Maneuvers.

Yanni Kouskoulas, Thyago J. Machado, Daniel Genin

Browse the full FMICS paper archive.