Mixed-Integer Linear Programming Model for Collision Avoidance Planning in Commercial Aircraft Formations. - Songqiying Yang; Ania Adil; Eric Feron (CoRR, 2024)