TY  - CONF

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

JO  - Proceedings of the European Control Conference 2016

UR  - https://eprints.whiterose.ac.uk/id/eprint/103159

PY  - 2016/06/29

AU  - Veres S

AU  - McAree O

AU  - Aitken J

ED  - 

Y2  - 2025/12/06

ER  -