Using an Interactive Theorem Prover for Formally Analyzing the Dynamics of the Unmanned Aerial Vehicles - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. It may be one of the following persons:

Adnan Rashid

Look up 'Adnan Rashid' in GoogleThis author has not been identified. It may be one of the following persons:

Osman Hasan

Look up 'Osman Hasan' in GoogleThis author has not been identified. Look up 'Sa'ed Abed' in Google

runs on WebDSL