1 citations · 1 across the 1 of their papers we have counts for
1 paper
Omar A. Jasim, Sandor M. Veres
A control system verification framework is presented for unmanned aerial vehicles using theorem proving. The framework's aim is to set out a procedure for proving that the mathemat…