Reach-Avoid Control Synthesis for a Quadrotor UAV with Formal Safety Guarantees. - Mohamed Serry; Haocheng Chang; Jun Liu 015 (CoRR, 2024)

PyWindAM: A Python software for wind field analysis and cloud-based data management. - Nanxi Chen; Rujin Ma; Baixue Ge; Haocheng Chang (SoftwareX, 2024)