TY  - RPRT
TI  - Verification Framework for Control System Functionality of Unmanned Aerial Vehicles
AU  - Omar A. Jasim
AU  - Sandor M. Veres
PY  - 2020
UR  - https://arxiv.org/abs/2006.10860
ID  - 2006.10860
ER  -