paper-conference

Automated aircraft separation safety assurance using Bayesian networks