Sa'ed Abed, Adnan Rashid, Osman Hasan. Formal Analysis of Unmanned Aerial Vehicles Using Higher-Order-Logic Theorem Proving. JACIC, 17(9):481-495, September 2020. [doi]
@article{AbedRH20-0,
title = {Formal Analysis of Unmanned Aerial Vehicles Using Higher-Order-Logic Theorem Proving},
author = {Sa'ed Abed and Adnan Rashid and Osman Hasan},
year = {2020},
month = {September},
doi = {10.2514/1.i010730},
url = {https://doi.org/10.2514/1.i010730},
researchr = {https://researchr.org/publication/AbedRH20-0},
cites = {0},
citedby = {0},
journal = {JACIC},
volume = {17},
number = {9},
pages = {481-495},
}