An initial examination for verifying separation algorithms by simulation

Quantitative verification of air traffic algorithms. Began with separation assurance. Proposed a quantitative goal and considered its probabilistic interpretation. Discussed statistics of separate simulations. Derived possible flight paths based on minimum points and relative velocity. Concocted maneuvers for collinear and approaching aircraft. Developed a procedure based on GPS with error - decisions under uncertainty. Established algorithm at high level and with high confidence. Demonstrated possible feasibility.