TY  - RPRT
TI  - SkyTrakx: A Toolkit for Simulation and Verification of Unmanned Air-Traffic Management Systems (Extended Version)
AU  - Chiao Hsieh
AU  - Hussein Sibai
AU  - Hebron Taylor
AU  - Yifeng Ni
AU  - Sayan Mitra
PY  - 2021
DO  - 10.1109/itsc48978.2021.9564492
UR  - https://arxiv.org/abs/2009.04655
ID  - 2009.04655
ER  -