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  - https://eprints.whiterose.ac.uk/id/eprint/103608

UR  - https://doi.org/10.1109/CONTROL.2016.7737551

PY  - 2016/11/10

AU  - McAree O

AU  - Aitken JM

AU  - Veres SM

ED  - 

DO  - DOI: 10.1109/CONTROL.2016.7737551

PB  - IEEE

SN  - 978-1-4673-9891-6

Y2  - 2025/12/06

ER  -