%0 Conference Paper %1 conf/itsc/HsiehSTNM21 %A Hsieh, Chiao %A Sibai, Hussein %A Taylor, Hebron %A Ni, Yifeng %A Mitra, Sayan %B ITSC %D 2021 %I IEEE %K dblp %P 372-379 %T SkyTrakx: A Toolkit for Simulation and Verification of Unmanned Air-Traffic Management Systems. %U http://dblp.uni-trier.de/db/conf/itsc/itsc2021.html#HsiehSTNM21 %@ 978-1-7281-9142-3

@inproceedings{conf/itsc/HsiehSTNM21, added-at = {2023-09-30T00:00:00.000+0200}, author = {Hsieh, Chiao and Sibai, Hussein and Taylor, Hebron and Ni, Yifeng and Mitra, Sayan}, biburl = {https://www.bibsonomy.org/bibtex/266fa1e8da94173e0f0c3ae0fe8efd373/dblp}, booktitle = {ITSC}, crossref = {conf/itsc/2021}, ee = {https://doi.org/10.1109/ITSC48978.2021.9564492}, interhash = {371319d4eadcfa8840e1ddf3d3e4c713}, intrahash = {66fa1e8da94173e0f0c3ae0fe8efd373}, isbn = {978-1-7281-9142-3}, keywords = {dblp}, pages = {372-379}, publisher = {IEEE}, timestamp = {2024-04-09T23:29:22.000+0200}, title = {SkyTrakx: A Toolkit for Simulation and Verification of Unmanned Air-Traffic Management Systems.}, url = {http://dblp.uni-trier.de/db/conf/itsc/itsc2021.html#HsiehSTNM21}, year = 2021 }