{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T22:17:05Z","timestamp":1768342625262,"version":"3.49.0"},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,9]]},"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.24963\/kr.2023\/77","type":"proceedings-article","created":{"date-parts":[[2023,7,31]],"date-time":"2023-07-31T22:27:47Z","timestamp":1690842467000},"page":"757-762","source":"Crossref","is-referenced-by-count":4,"title":["Verification of Semantic Key Point Detection for Aircraft Pose Estimation"],"prefix":"10.24963","author":[{"given":"Panagiotis","family":"Kouvaros","sequence":"first","affiliation":[{"name":"Imperial College London"},{"name":"Safe Intelligence"}]},{"given":"Francesco","family":"Leofante","sequence":"additional","affiliation":[{"name":"Imperial College London"}]},{"given":"Blake","family":"Edwards","sequence":"additional","affiliation":[{"name":"Boeing Research and Technology"}]},{"given":"Calvin","family":"Chung","sequence":"additional","affiliation":[{"name":"Boeing Research and Technology"}]},{"given":"Dragos","family":"Margineantu","sequence":"additional","affiliation":[{"name":"Boeing Research and Technology"}]},{"given":"Alessio","family":"Lomuscio","sequence":"additional","affiliation":[{"name":"Imperial College London"},{"name":"Safe Intelligence"}]}],"member":"10584","event":{"name":"20th International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}","theme":"Artificial Intelligence","location":"Rhodes, Greece","acronym":"KR-2023","number":"20","sponsor":["Artificial Intelligence Journal","Principles of Knowledge Representation and Reasoning Inc.","Academic College of Tel-Aviv","European Association for Artificial Intelligence","National Science Foundation"],"start":{"date-parts":[[2023,9,2]]},"end":{"date-parts":[[2023,9,8]]}},"container-title":["Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning"],"original-title":[],"deposited":{"date-parts":[[2023,7,31]],"date-time":"2023-07-31T22:29:13Z","timestamp":1690842553000},"score":1,"resource":{"primary":{"URL":"https:\/\/proceedings.kr.org\/2023\/77"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2023,9]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/kr.2023\/77","relation":{},"subject":[],"published":{"date-parts":[[2023,9]]}}}