Formal Analysis of Unmanned Aerial Vehicles Using Higher-Order-Logic Theorem Proving - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

Using an Interactive Theorem Prover for Formally Analyzing the Dynamics of the Unmanned Aerial VehiclesAdnan Rashid, Osman Hasan, Sa'ed Abed. 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]

Formal analysis of the biological circuits using higher-order-logic theorem provingSa'ed Abed, Adnan Rashid, Osman Hasan. SAC 2020: 3-7 [doi]

Formal analysis of 2D image processing filters using higher-order logic theorem provingAdnan Rashid, Sa'ed Abed, Osman Hasan. ejasp, 2022(1):53, 2022. [doi]

Formal Reliability Analysis Using Theorem ProvingOsman Hasan, Sofiène Tahar, Naeem Abbasi. TC, 59(5):579-592, 2010. [doi]

Formal reliability analysis of combinational circuits using theorem provingOsman Hasan, Jigar Patel, Sofiène Tahar. japll, 9(1):41-60, 2011. [doi]

runs on WebDSL