@misc{indiciae07b495d7f8e2,
  title = {SkyTrakx: A Toolkit for Simulation and Verification of Unmanned Air-Traffic Management Systems (Extended Version)},
  author = {Chiao Hsieh and Hussein Sibai and Hebron Taylor and Yifeng Ni and Sayan Mitra},
  year = {2021},
  doi = {10.1109/itsc48978.2021.9564492},
  url = {https://arxiv.org/abs/2009.04655},
  note = {Source identifier: 2009.04655}
}