Integrated Modeling, Verification, and Code Generation for Unmanned Aerial Systems

Jianyu Zhang, Long Zhang, Yixuan Wu +2

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…