@inproceedings{inproceedings, title  = {{A model based design framework for safety verification of a semi-autonomous inspection drone}},

 publisher = {{IEEE}},

 url = {{https://eprints.whiterose.ac.uk/id/eprint/103608 https://doi.org/10.1109/CONTROL.2016.7737551 }},

 year = {{2016}},

 month = {{11}},

 author = {{McAree O and Aitken JM and Veres SM}},

 doi = {{10.1109/CONTROL.2016.7737551}},

 isbn = {{978-1-4673-9891-6}},

 journal = {{2016 UKACC 11th International Conference on  Control (CONTROL)}},

 note = {{Accessed on 2025/12/06}}}