SkyTrakx: A Toolkit for Simulation and Verification of Unmanned Air-Traffic Management Systems. - Chiao Hsieh; Hussein Sibai; Hebron Taylor; Yifeng Ni; Sayan Mitra (ITSC, 2021)