A Probabilistic Frameworkfor Aircraft Con ict Detection