@inproceedings{inproceedings, title = {{Towards formal verification of small and micro UAS}}, publisher = {{IEEE}}, url = {{}}, year = {{2015}}, month = {{1}}, author = {{Veres SM and McAree O and Aitken JM}}, doi = {{10.1109/ecc.2016.7810323}}, journal = {{2016 European Control Conference (ECC)}}, note = {{Accessed on 2025/07/18}}}