Adnan Rashid, Osman Hasan, Sa'ed Abed. Using an Interactive Theorem Prover for Formally Analyzing the Dynamics of the Unmanned Aerial Vehicles. In Ahmad Taher Azar, Ibraheem Kasim Ibraheem, Amjad Jaleel Humaidi, editors, Mobile Robot: Motion Control and Path Planning. Volume 1090 of Studies in Computational Intelligence, pages 253-282, Springer, 2023. [doi]
@incollection{RashidHA23,
title = {Using an Interactive Theorem Prover for Formally Analyzing the Dynamics of the Unmanned Aerial Vehicles},
author = {Adnan Rashid and Osman Hasan and Sa'ed Abed},
year = {2023},
doi = {10.1007/978-3-031-26564-8_9},
url = {https://doi.org/10.1007/978-3-031-26564-8_9},
researchr = {https://researchr.org/publication/RashidHA23},
cites = {0},
citedby = {0},
pages = {253-282},
booktitle = {Mobile Robot: Motion Control and Path Planning},
editor = {Ahmad Taher Azar and Ibraheem Kasim Ibraheem and Amjad Jaleel Humaidi},
volume = {1090},
series = {Studies in Computational Intelligence},
publisher = {Springer},
isbn = {978-3-031-26564-8},
}