Title: Conflict-Free Trajectory Planning for Air Traffic Control Automation