Formal verification of quadcopter flight envelop using theorem prover (2018)

First Author: Omar A. Jasim
Attributed to:  Robotics and Artificial Intelligence for Nuclear (RAIN) funded by ISCF

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://eprints.whiterose.ac.uk/134664/1/Paper.465Rv.pdf

Type: Conference/Paper/Proceeding/Abstract