Stationary point process, Palm measure and collision risk

Abstract : The classical probability of collision between an aircraft whose the path crosses a flow of aircraft is derived under the assumption that it is described by a Poisson process. Using the so-called Palm measure, we extend the classical result to a stationary point process.