Omar A. Jasim

Publication Activity (10 Years)

Years Active: 2018-2020
Publications (10 Years): 3

Top Topics

Computer Algebra Systems

Formal Verification

Unmanned Aerial Vehicles

Top Venues

Publications

Omar A. Jasim, Sandor M. Veres
Verification Framework for Control System Functionality of Unmanned Aerial Vehicles. CoRR (2020)
Omar A. Jasim, Sandor M. Veres
Nonlinear Attitude Control Design and Verification for a Safe Flight of a Small-Scale Unmanned Helicopter. CoDIT (2019)
Omar A. Jasim, Sandor M. Veres
Formal Verification of Quadcopter Flight Envelop Using Theorem Prover. CCTA (2018)