Kavli Affiliate: Long Zhang | First 5 Authors: Jianyu Zhang, Long Zhang, Yixuan Wu, Linru Ma, Feng Yang | Summary: Unmanned Aerial Systems (UAS) are currently widely used in safety-critical fields such as industrial production, military operations, and disaster relief. Due to the diversity and complexity of application scenarios, UAS have become increasingly intricate. The […]
Continue.. Integrated Modeling, Verification, and Code Generation for Unmanned Aerial Systems