@inproceedings{dane-2026-provably, title={Provably Safe Optimization of Arrival Flows Into Terminal Airspace}, url={http://dx.doi.org/10.2514/6.2026-4289}, DOI={10.2514/6.2026-4289}, booktitle={AIAA AVIATION 2026 Forum}, publisher={American Institute of Aeronautics and Astronautics}, author={Dane, Serra Z. and Sun, Kuang and Nomi, Adrian A. and Hu, Yuwei and Boccaccio, Eric and Glottmann, Joshua H. and Jeannin, Jean-Baptiste and Li, Max Z.}, year={2026}, month=June }