Cerezo Magaña, M. A Stochastic Switched Optimal Control Approach to Formation Mission Design for Commercial Aircraft. EAA 2025.