Formal verification of quadcopter flight envelop using theorem prover (2018)
Attributed to:
Verifiable Autonomy
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: http://eprints.whiterose.ac.uk/134664/1/Paper.465Rv.pdf
Type: Conference/Paper/Proceeding/Abstract