1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
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…