Pathfinders in the Sky: Formal Decision-Making Models for Collaborative Air Traffic Control in Convective Weather. - Jimin Choi; Kartikeya Anand; Husni R. Idris; Huy T. Tran; Max Z. Li (CoRR, 2025)