Citation

BibTex format

@inproceedings{Kouvaros:2023:kr.2023/77,
author = {Kouvaros, P and Leofante, F and Edwards, B and Chung, C and Margineantu, D and Lomuscio, A},
doi = {kr.2023/77},
pages = {757--762},
publisher = {IJCAI Organization},
title = {Verification of semantic key point detection for aircraft pose estimation},
url = {http://dx.doi.org/10.24963/kr.2023/77},
year = {2023}
}

RIS format (EndNote, RefMan)

TY  - CPAPER
AB - We analyse Semantic Segmentation Neural Networks running on an autonomous aircraft to estimate its pose during landing. We show that automated reasoning techniques from neural network verification can be used to analyse the conditions under which the networks can operate safely, thus providing enhanced assurance guarantees on the behaviour of the over-all pose estimation systems.
AU - Kouvaros,P
AU - Leofante,F
AU - Edwards,B
AU - Chung,C
AU - Margineantu,D
AU - Lomuscio,A
DO - kr.2023/77
EP - 762
PB - IJCAI Organization
PY - 2023///
SN - 2334-1033
SP - 757
TI - Verification of semantic key point detection for aircraft pose estimation
UR - http://dx.doi.org/10.24963/kr.2023/77
UR - http://hdl.handle.net/10044/1/104736
ER -

Contact us

Artificial Intelligence Network
South Kensington Campus
Imperial College London
SW7 2AZ

To reach the elected speaker of the network, Dr Rossella Arcucci, please contact:

ai-speaker@imperial.ac.uk

To reach the network manager, Diana O'Malley - including to join the network - please contact:

ai-net-manager@imperial.ac.uk