Formal Verification of Quadcopter Flight Envelop Using Theorem Prover. - Omar A. Jasim; Sandor M. Veres (CCTA, 2018)

Nonlinear Attitude Control Design and Verification for a Safe Flight of a Small-Scale Unmanned Helicopter. - Omar A. Jasim; Sandor M. Veres (CoDIT, 2019)

Verification Framework for Control System Functionality of Unmanned Aerial Vehicles. - Omar A. Jasim; Sandor M. Veres (CoRR, 2020)