Conflict probability and incrossing probability in air traffic management

Studies performance metrics that are of use in the evaluation of conflict detection and resolution in air traffic management. The metrics studied are conflict probability and incrossing probability, both of which are closely related to the safety criteria used by the civil aviation community. The main contribution of the paper is to develop mathematical characterisations for these metrics, and to show typical differences in their behaviour through numerical evaluations of these metrics for some simple examples.