Overview of the aircraft encounter models that support safety analysis and development of aircraft avoidance systems. - View it on GitHub