A Novel Transformer-based Trajectory Options Generator for Collaborative Air Traffic Flow Management | IEEE Conference Publication | IEEE Xplore