KR2023Proceedings of the 20th International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning

Rhodes, Greece. September 2-8, 2023.

Edited by
  1. Pierre Marquis,
  2. Tran Cao Son
  3. Gabriele Kern-Isberner

ISSN: 2334-1033
ISBN: 978-1-956792-02-7

Sponsored by
Published by

Copyright © 2023 International Joint Conferences on Artificial Intelligence Organization

Verification of Semantic Key Point Detection for Aircraft Pose Estimation

  1. Panagiotis Kouvaros(Imperial College London, Safe Intelligence)
  2. Francesco Leofante(Imperial College London)
  3. Blake Edwards(Boeing Research and Technology)
  4. Calvin Chung(Boeing Research and Technology)
  5. Dragos Margineantu(Boeing Research and Technology)
  6. Alessio Lomuscio(Imperial College London, Safe Intelligence)
PDF
BibTeX
https://doi.org/10.24963/kr.2023/77

Keywords

  1. Applications of KR

Abstract

We analyse Semantic Segmentation Neural Networks running on an autonomous aircraft to estimate its 6DOF 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 overall pose estimation systems.