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]
Abstract is missing.