@inproceedings{itsc-HsiehSTNM21,
  author       = {Chiao Hsieh and
                  Hussein Sibai and
                  Hebron Taylor and
                  Yifeng Ni and
                  Sayan Mitra},
  title        = {SkyTrakx: {A} Toolkit for Simulation and Verification of Unmanned
                  Air-Traffic Management Systems},
  booktitle    = {24th {IEEE} International Intelligent Transportation Systems Conference,
                  {ITSC} 2021, Indianapolis, IN, USA, September 19-22, 2021},
  pages        = {372--379},
  year         = {2021},
  crossref     = {DBLP:conf/itsc/2021},
  url          = {https://doi.org/10.1109/ITSC48978.2021.9564492},
  doi          = {10.1109/ITSC48978.2021.9564492},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/itsc/HsiehSTNM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}