TY  - CONF

T1  - On the complexity of formal verification of small and micro UAS

JO  - Proceedings of the European Control Conference 2016

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

PY  - 2016/06/29

AU  - Veres S

AU  - McAree O

AU  - Aitken J

ED  - 

Y2  - 2024/12/25

ER  -