{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,23]],"date-time":"2025-10-23T01:09:36Z","timestamp":1761181776013,"version":"build-2065373602"},"reference-count":22,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T00:00:00Z","timestamp":1757376000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T00:00:00Z","timestamp":1757376000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,9,9]]},"DOI":"10.1109\/etfa65518.2025.11205699","type":"proceedings-article","created":{"date-parts":[[2025,10,21]],"date-time":"2025-10-21T17:07:47Z","timestamp":1761066467000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["Fault Prevention and Removal in the Context of Autonomous Mobile Robots"],"prefix":"10.1109","author":[{"given":"Aron","family":"Schnakenbeck","sequence":"first","affiliation":[{"name":"Helmut Schmidt University,Institute of Automation Technology,Hamburg,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Sieber","sequence":"additional","affiliation":[{"name":"Helmut Schmidt University,Institute of Automation Technology,Hamburg,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luis Miguel Vieira","family":"Da Silva","sequence":"additional","affiliation":[{"name":"Helmut Schmidt University,Institute of Automation Technology,Hamburg,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Felix","family":"Gehlhoff","sequence":"additional","affiliation":[{"name":"Helmut Schmidt University,Institute of Automation Technology,Hamburg,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Fay","sequence":"additional","affiliation":[{"name":"Ruhr University Bochum,Chair of Automation,Bochum,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2018.2860628"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s10845-023-02278-y"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3303848"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"},{"journal-title":"ISO 8373:2021(E)","article-title":"Robotics \u2013 Vocabulary","year":"2021","key":"ref5"},{"author":"Sieber","key":"ref6","article-title":"A Universal Approach to Command and Control Heterogeneous Autonomous Robots"},{"volume-title":"Artificial intelligence: A modern approach","year":"2021","author":"Russell","key":"ref7"},{"key":"ref8","article-title":"PDDL\u2014 The Planning Domain Definition Language","author":"Aeronautiques","year":"1998","journal-title":"Technical report, Tech. Rep."},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1.11751"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1515\/auto-2022-0122"},{"article-title":"Automated Process Planning Based on a Semantic Capability Model and SMT","volume-title":"AAAI Workshop on AI Planning for Cyber-Physical Systems (CAIPI 2024)","author":"K\u00f6cher","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3342355"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6160478"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194007003392"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2014.6942970"},{"journal-title":"IEC 60848","article-title":"Grafcet specification language for sequential function charts","year":"2013","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2022.3225736"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN51400.2023.10218176"},{"volume-title":"Principles of Model Checking","year":"2008","author":"Baier","key":"ref19"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.3390\/drones8010026"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.2514\/6.2018-2140"},{"issue":"79","key":"ref22","first-page":"1","article-title":"Swrl: A semantic web rule language combining owl and ruleml","volume":"21","author":"Horrocks","year":"2004","journal-title":"W3C Member submission"}],"event":{"name":"2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA)","start":{"date-parts":[[2025,9,9]]},"location":"Porto, Portugal","end":{"date-parts":[[2025,9,12]]}},"container-title":["2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11205475\/11205526\/11205699.pdf?arnumber=11205699","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T17:23:45Z","timestamp":1761153825000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11205699\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,9]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/etfa65518.2025.11205699","relation":{},"subject":[],"published":{"date-parts":[[2025,9,9]]}}}