@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}
}

Download

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  - 

Download