@misc{indiciaeacc91d05fbb0, title = {Pathfinders in the Sky: Formal Decision-Making Models for Collaborative Air Traffic Control in Convective Weather}, author = {Jimin Choi and Kartikeya Anand and Husni R. Idris and Huy T. Tran and Max Z. Li}, year = {2026}, doi = {10.1109/itsc60802.2025.11423180}, url = {https://arxiv.org/abs/2505.01804}, note = {Source identifier: 2505.01804} }