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 - 2025/07/06
ER -