Unmanned Air-traffic Management (UTM): Formalization, a Prototype Implementation, Verification, and Performance Evaluation
Unmanned Aircraft Systems (UAS) traffic management system (UTM) is neces...
CyPhyHouse: A Programming, Simulation, and Deployment Toolchain for Heterogeneous Distributed Coordination
Programming languages, libraries, and development tools have transformed...
Chiao Hsiehis this you? claim profile