TY  - RPRT
TI  - Vulnerabilities Analysis and Secure Controlling for Unmanned Aerial System Based on Reactive Synthesis
AU  - Dong Yang
AU  - Wei Dong
AU  - Wei Lu
AU  - Yanqi Dong
AU  - Sirui Liu
PY  - 2025
UR  - https://arxiv.org/abs/2411.07741
ID  - 2411.07741
ER  -