SkyTrakx: A Toolkit for Simulation and Verification of Unmanned Air-Traffic Management Systems
SkyTrakx: A Toolkit for Simulation and Verification of Unmanned Air-Traffic Management Systems
复制标题
SkyTrakx：无人空中交通管理系统仿真和验证工具包
DOI：
10.1109/itsc48978.2021.9564492
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Mitra, Sayan
中科院分区：
文献类型：
--
作者：
Hsieh, Chiao;Sibai, Hussein;Taylor, Hebron;Ni, Yifeng;Mitra, Sayan
登录
查看更多内容
FAA 航空航天预测 2022-2042 财年
DOI：
--
发表时间：
2022
期刊：
影响因子：
--
作者：
C. Roberts
通讯作者：
C. Roberts
DOI：
10.1109/icra40945.2020.9196513
发表时间：
2019-10
期刊：
2020 IEEE International Conference on Robotics and Automation (ICRA)
影响因子：
--
作者：
Ritwika Ghosh;J. P. Jansch-Porto;Chiao Hsieh;Amelia Gosse;Minghao Jiang;Hebron Taylor;Peter Du;S. Mitra;G. Dullerud
通讯作者：
Ritwika Ghosh;J. P. Jansch-Porto;Chiao Hsieh;Amelia Gosse;Minghao Jiang;Hebron Taylor;Peter Du;S. Mitra;G. Dullerud
基于模型的半自主巡检无人机安全验证设计框架
DOI：
--
发表时间：
2016
期刊：
Control
影响因子：
--
作者：
O. McAree;Jonathan M. Aitken;S. Veres
通讯作者：
S. Veres
TCAS冲突解决算法的形式化验证1
DOI：
--
发表时间：
1997
期刊：
影响因子：
--
作者：
J. Lygeros;Nancy A. LynchLaboratory
通讯作者：
Nancy A. LynchLaboratory
城市空中交通空中交通管理的分散控制综合
影响因子：
4.2
作者：
Suda Bharadwaj;Steven Carr;N. Neogi;U. Topcu
通讯作者：
U. Topcu