{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,5]],"date-time":"2025-12-05T18:58:36Z","timestamp":1764961116019,"version":"3.46.0"},"reference-count":29,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"12","license":[{"start":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T00:00:00Z","timestamp":1764547200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T00:00:00Z","timestamp":1764547200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T00:00:00Z","timestamp":1764547200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100018319","name":"Department of Mathematics and Computer Science and Eindhoven Artificial Intelligence Systems Institute, The Eindhoven University of Technology","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100018319","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Intell. Transport. Syst."],"published-print":{"date-parts":[[2025,12]]},"DOI":"10.1109\/tits.2025.3609835","type":"journal-article","created":{"date-parts":[[2025,10,3]],"date-time":"2025-10-03T17:26:44Z","timestamp":1759512404000},"page":"22751-22760","source":"Crossref","is-referenced-by-count":0,"title":["Probabilistic Mission Design for Neuro-Symbolic Unmanned Aircraft Systems"],"prefix":"10.1109","volume":"26","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0855-6316","authenticated-orcid":false,"given":"Simon","family":"Kohaut","sequence":"first","affiliation":[{"name":"Department of Computer Science, Artificial Intelligence and Machine Learning Laboratory, TU Darmstadt, Darmstadt, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0636-955X","authenticated-orcid":false,"given":"Benedict","family":"Flade","sequence":"additional","affiliation":[{"name":"Honda Research Institute Europe GmbH, Offenbach, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Ochs","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Artificial Intelligence and Machine Learning Laboratory, TU Darmstadt, Darmstadt, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4331-7193","authenticated-orcid":false,"given":"Devendra Singh","family":"Dhami","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Computer Science, Uncertainty in Artificial Intelligence Group, TU Eindhoven, Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4437-6133","authenticated-orcid":false,"given":"Julian","family":"Eggert","sequence":"additional","affiliation":[{"name":"Honda Research Institute Europe GmbH, Offenbach, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2873-9152","authenticated-orcid":false,"given":"Kristian","family":"Kersting","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Artificial Intelligence and Machine Learning Laboratory, TU Darmstadt, Darmstadt, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC57777.2023.10422083"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ISMAR-Adjunct54149.2021.00034"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICCC54389.2021.9674583"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/OJITS.2023.3299496"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-016-5558-8"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/IGARSS46834.2022.9883686"},{"volume-title":"European ATM Master Plan: The Roadmap for Delivering High Performing Aviation for Europe: Executive View: Edition","year":"2015","key":"ref7"},{"volume-title":"European Drones Outlook Study","year":"2017","key":"ref8"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.5040\/9781509972944.0220"},{"first-page":"1","volume-title":"Acceptable Means of Compliance (AMC) and Guidance Material (GM) To Commission Implementing Regulation (EU) 2019\/947","year":"2019","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/THMS.2019.2945618"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICUAS54217.2022.9836056"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10846-019-01015-z"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.3850\/978-981-18-2016-8_236-cd"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsr.2019.03.009"},{"volume-title":"System and method for aiding pilot preview, rehearsal, review, and real-time visual acquisition of flight mission progress","year":"2012","author":"Prinzel","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1093\/aje\/155.5.398"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.4271\/2002-01-1522"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/79204.79210"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/C-CODE.2017.7918964"},{"key":"ref21","article-title":"Bayesian logic programs","author":"Kersting","year":"2001","journal-title":"arXiv:cs\/0111058"},{"key":"ref22","first-page":"2468","article-title":"ProbLog: A probabilistic prolog and its application in link discovery","volume-title":"Proc. IJCAI","author":"Raedt"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068414000076"},{"key":"ref24","first-page":"3749","article-title":"DeepProbLog: Neural probabilistic logic programming","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","volume":"31","author":"Manhaeve"},{"key":"ref25","article-title":"SLASH: Embracing probabilistic circuits into neural answer set programming","author":"Skryagin","year":"2021","journal-title":"arXiv:2110.03395"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC48978.2021.9564415"},{"issue":"2","key":"ref27","doi-asserted-by":"crossref","first-page":"266","DOI":"10.3390\/rs16020266","article-title":"Effective risk detection for natural gas pipelines using low-resolution satellite images","volume":"16","author":"Ochs","year":"2024","journal-title":"Remote Sens."},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.3390\/rs12101662"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ICUAS60882.2024.10556879"}],"container-title":["IEEE Transactions on Intelligent Transportation Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/6979\/11278554\/11193664.pdf?arnumber=11193664","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,5]],"date-time":"2025-12-05T18:40:49Z","timestamp":1764960049000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11193664\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12]]},"references-count":29,"journal-issue":{"issue":"12"},"URL":"https:\/\/doi.org\/10.1109\/tits.2025.3609835","relation":{},"ISSN":["1524-9050","1558-0016"],"issn-type":[{"type":"print","value":"1524-9050"},{"type":"electronic","value":"1558-0016"}],"subject":[],"published":{"date-parts":[[2025,12]]}}}