TY  - CONF

T1  - A model based design framework for safety verification of a semi-autonomous inspection drone

JO  - 2016 UKACC 11th International Conference on Control (CONTROL)

UR  - http://eprints.whiterose.ac.uk/103608/

PY  - -0001/11/30

AU  - McAree O

AU  - Aitken JM

AU  - Veres SM

ED  - 

DO  - DOI: 10.1109/control.2016.7737551

PB  - IEEE

Y2  - 2024/12/22

ER  -