{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T00:08:59Z","timestamp":1769731739550,"version":"3.49.0"},"reference-count":30,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,6,25]],"date-time":"2024-06-25T00:00:00Z","timestamp":1719273600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,6,25]],"date-time":"2024-06-25T00:00:00Z","timestamp":1719273600000},"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":[[2024,6,25]]},"DOI":"10.23919\/ecc64448.2024.10590983","type":"proceedings-article","created":{"date-parts":[[2024,7,24]],"date-time":"2024-07-24T17:48:23Z","timestamp":1721843303000},"page":"231-238","source":"Crossref","is-referenced-by-count":1,"title":["Spontaneous State Constraint Insertions to Operating Symbolic Controllers Combined with Runtime Assurance for Task Allocation in UAV Missions"],"prefix":"10.23919","author":[{"given":"Marcus","family":"Kreuzer","sequence":"first","affiliation":[{"name":"Munich University of Applied Sciences,Dept. of Mechanical, Automotive and Aeronautical Eng.,München,Germany,80335"}]},{"given":"Alexander","family":"Weber","sequence":"additional","affiliation":[{"name":"Munich University of Applied Sciences,Dept. of Mechanical, Automotive and Aeronautical Eng.,München,Germany,80335"}]},{"given":"Alexander","family":"Knoll","sequence":"additional","affiliation":[{"name":"Munich University of Applied Sciences,Dept. of Mechanical, Automotive and Aeronautical Eng.,München,Germany,80335"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2593947"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.23919\/ECC57647.2023.10178242"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2001.936213"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-06773-0_12"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2018.8619659"},{"key":"ref6","first-page":"2007","article-title":"A generalized Bellman-Ford algorithm for application in symbolic optimal control","volume-title":"Proc. European Control Conf. (ECC)","author":"Weber","year":"2020"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2022.3188483"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2014.2343914"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/BF01386390"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2863178"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2013.6760370"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.2307\/j.ctvcm4gdk"},{"key":"ref13","first-page":"430","article-title":"Approximately optimal controllers for quantitative two-phase reach-avoid problems on nonlinear systems","volume-title":"Proc. IEEE Conf. Decision and Control (CDC)","author":"Weber","year":"2020"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3501710.3519519"},{"key":"ref15","article-title":"Plan recognition as planning","volume-title":"Twenty-First intl. joint conference on artificial intelligence","author":"Ram\u00edrez","year":"2009"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v24i1.7745"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.3389\/frai.2021.717003"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v32i1.12097"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1.11343"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2018\/747"},{"key":"ref21","article-title":"Online goal recognition through mirroring: Humans and agents","volume-title":"The Fourth Annual Conf. Advances in Cognitive Systems","author":"Vered","year":"2016"},{"key":"ref22","article-title":"Capability description for nasas f\/a-18 tn 853 as a testbed for the integrated resilient aircraft control project","author":"Hanson","year":"2009","journal-title":"Tech. Rep."},{"key":"ref23","first-page":"14","article-title":"Adaptive augmenting control flight characterization experiment on an f\/a-18","volume-title":"2014 American Astronautical Society Guidance & Control Conf.","author":"VanZwieten","year":"2014"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/DASC50938.2020.9256581"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2019.00027"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.2514\/1.G004862"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.1998.703255"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/DASC55683.2022.9925841"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2022.102784"},{"key":"ref30","first-page":"1235","article-title":"Vehicle mission guidance by symbolic optimal control","volume-title":"Proc. European Control Conf. (ECC)","author":"Weber","year":"2022"}],"event":{"name":"2024 European Control Conference (ECC)","location":"Stockholm, Sweden","start":{"date-parts":[[2024,6,25]]},"end":{"date-parts":[[2024,6,28]]}},"container-title":["2024 European Control Conference (ECC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10590709\/10590710\/10590983.pdf?arnumber=10590983","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,25]],"date-time":"2024-07-25T05:16:31Z","timestamp":1721884591000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10590983\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6,25]]},"references-count":30,"URL":"https:\/\/doi.org\/10.23919\/ecc64448.2024.10590983","relation":{},"subject":[],"published":{"date-parts":[[2024,6,25]]}}}