{"id":"https://openalex.org/W4406092528","doi":"https://doi.org/10.1109/tits.2025.3609835","title":"Probabilistic Mission Design for Neuro-Symbolic Unmanned Aircraft Systems","display_name":"Probabilistic Mission Design for Neuro-Symbolic Unmanned Aircraft Systems","publication_year":2025,"publication_date":"2025-10-03","ids":{"openalex":"https://openalex.org/W4406092528","doi":"https://doi.org/10.1109/tits.2025.3609835"},"language":"en","primary_location":{"id":"doi:10.1109/tits.2025.3609835","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tits.2025.3609835","pdf_url":null,"source":{"id":"https://openalex.org/S144771191","display_name":"IEEE Transactions on Intelligent Transportation Systems","issn_l":"1524-9050","issn":["1524-9050","1558-0016"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Intelligent Transportation Systems","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2501.01439","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5063863412","display_name":"Simon Kohaut","orcid":"https://orcid.org/0000-0002-0855-6316"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Simon Kohaut","raw_affiliation_strings":["Department of Computer Science, Artificial Intelligence and Machine Learning Laboratory, TU Darmstadt, Darmstadt, Germany"],"raw_orcid":"https://orcid.org/0000-0002-0855-6316","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Artificial Intelligence and Machine Learning Laboratory, TU Darmstadt, Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060465549","display_name":"Benedict Flade","orcid":"https://orcid.org/0000-0002-0636-955X"},"institutions":[{"id":"https://openalex.org/I4210112253","display_name":"Honda (Germany)","ror":"https://ror.org/022c1xk47","country_code":"DE","type":"company","lineage":["https://openalex.org/I1283473643","https://openalex.org/I4210112253"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Benedict Flade","raw_affiliation_strings":["Honda Research Institute Europe GmbH, Offenbach, Germany"],"raw_orcid":"https://orcid.org/0000-0002-0636-955X","affiliations":[{"raw_affiliation_string":"Honda Research Institute Europe GmbH, Offenbach, Germany","institution_ids":["https://openalex.org/I4210112253"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090942926","display_name":"Daniel Ochs","orcid":null},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Daniel Ochs","raw_affiliation_strings":["Department of Computer Science, Artificial Intelligence and Machine Learning Laboratory, TU Darmstadt, Darmstadt, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Artificial Intelligence and Machine Learning Laboratory, TU Darmstadt, Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029345613","display_name":"Devendra Singh Dhami","orcid":"https://orcid.org/0000-0002-4331-7193"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Devendra Singh Dhami","raw_affiliation_strings":["Department of Mathematics and Computer Science, Uncertainty in Artificial Intelligence Group, TU Eindhoven, Eindhoven, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0002-4331-7193","affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, Uncertainty in Artificial Intelligence Group, TU Eindhoven, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039532032","display_name":"Julian Eggert","orcid":"https://orcid.org/0000-0003-4437-6133"},"institutions":[{"id":"https://openalex.org/I4210112253","display_name":"Honda (Germany)","ror":"https://ror.org/022c1xk47","country_code":"DE","type":"company","lineage":["https://openalex.org/I1283473643","https://openalex.org/I4210112253"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Julian Eggert","raw_affiliation_strings":["Honda Research Institute Europe GmbH, Offenbach, Germany"],"raw_orcid":"https://orcid.org/0000-0003-4437-6133","affiliations":[{"raw_affiliation_string":"Honda Research Institute Europe GmbH, Offenbach, Germany","institution_ids":["https://openalex.org/I4210112253"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5037636074","display_name":"Kristian Kersting","orcid":"https://orcid.org/0000-0002-2873-9152"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Kristian Kersting","raw_affiliation_strings":["Department of Computer Science, Artificial Intelligence and Machine Learning Laboratory, TU Darmstadt, Darmstadt, Germany"],"raw_orcid":"https://orcid.org/0000-0002-2873-9152","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Artificial Intelligence and Machine Learning Laboratory, TU Darmstadt, Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.00267878,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"26","issue":"12","first_page":"22751","last_page":"22760"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12000","display_name":"Systems Engineering Methodologies and Applications","score":0.8579999804496765,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12000","display_name":"Systems Engineering Methodologies and Applications","score":0.8579999804496765,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13062","display_name":"Cognitive Computing and Networks","score":0.8379999995231628,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T14394","display_name":"Cognitive Science and Education Research","score":0.8361999988555908,"subfield":{"id":"https://openalex.org/subfields/2805","display_name":"Cognitive Neuroscience"},"field":{"id":"https://openalex.org/fields/28","display_name":"Neuroscience"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6659764051437378},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5486380457878113},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.35085612535476685}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6659764051437378},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5486380457878113},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.35085612535476685}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/tits.2025.3609835","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tits.2025.3609835","pdf_url":null,"source":{"id":"https://openalex.org/S144771191","display_name":"IEEE Transactions on Intelligent Transportation Systems","issn_l":"1524-9050","issn":["1524-9050","1558-0016"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Intelligent Transportation Systems","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2501.01439","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2501.01439","pdf_url":"https://arxiv.org/pdf/2501.01439","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"pmh:oai:pure.tue.nl:publications/e5759d77-b9dc-4f1d-8855-61a45ccd7f60","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/e5759d77-b9dc-4f1d-8855-61a45ccd7f60","pdf_url":"https://pure.tue.nl/ws/files/378586920/Probabilistic_Mission_Design_for_Neuro-Symbolic_Unmanned_Aircraft_Systems.pdf","source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Kohaut, S, Flade, B, Ochs, D, Dhami, D S, Eggert, J & Kersting, K 2025, 'Probabilistic Mission Design for Neuro-Symbolic Unmanned Aircraft Systems', IEEE Transactions on Intelligent Transportation Systems, vol. 26, no. 12, pp. 22751-22760. https://doi.org/10.1109/TITS.2025.3609835","raw_type":"info:eu-repo/semantics/article"},{"id":"doi:10.48550/arxiv.2501.01439","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2501.01439","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2501.01439","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2501.01439","pdf_url":"https://arxiv.org/pdf/2501.01439","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320334266","display_name":"Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Advanced":[0],"Air":[1],"Mobility":[2],"(AAM)":[3],"is":[4,56,89,146],"a":[5,78],"growing":[6],"field":[7],"that":[8,60,96,143],"demands":[9],"accurate":[10],"and":[11,17,40,67,92,101,118,127,160,178,194],"trustworthy":[12],"models":[13,171],"of":[14,29,48,53,188],"legal":[15,86,125],"concepts":[16],"restrictions":[18,126],"for":[19],"navigating":[20,83],"Unmanned":[21],"Aircraft":[22],"Systems":[23],"(UAS).":[24],"In":[25],"addition,":[26],"any":[27],"implementation":[28],"AAM":[30,201],"needs":[31],"to":[32,62,82,111,199],"face":[33],"the":[34,46,114,141,144,149,186],"challenges":[35],"posed":[36],"by":[37],"inherently":[38],"dynamic":[39],"uncertain":[41,98],"human-inhabited":[42],"spaces":[43],"robustly.":[44],"Nevertheless,":[45],"employment":[47],"UAS":[49,84],"beyond":[50],"visual":[51],"line":[52],"sight":[54],"(BVLOS)":[55],"an":[57,90],"endearing":[58],"task":[59],"promises":[61],"significantly":[63],"enhance":[64],"today\u2019s":[65],"logistics":[66],"emergency":[68],"response":[69],"capabilities.":[70],"Hence,":[71,182],"we":[72,163],"propose":[73],"Probabilistic":[74,107,133],"Mission":[75,134],"Design":[76],"(ProMis),":[77],"novel":[79],"neuro-symbolic":[80],"approach":[81],"within":[85],"frameworks.":[87],"ProMis":[88,131,189],"interpretable":[91],"adaptable":[93],"system":[94],"architecture":[95],"links":[97],"geospatial":[99],"data":[100,193],"noisy":[102],"perception":[103],"with":[104,124,167,190],"declarative,":[105],"Hybrid":[106],"Logic":[108],"Programs":[109],"(HPLP)":[110],"reason":[112],"over":[113],"agent\u2019s":[115,150],"state":[116,151],"space":[117],"its":[119,165],"legality.":[120],"To":[121],"inform":[122],"planning":[123],"uncertainty":[128],"in":[129],"mind,":[130],"yields":[132],"Landscapes":[135],"(PML).":[136],"These":[137],"scalar":[138],"fields":[139],"quantify":[140],"belief":[142],"HPLP":[145],"satisfied":[147],"across":[148],"space.":[152],"Extending":[153],"prior":[154],"work":[155],"on":[156],"ProMis\u2019":[157],"reasoning":[158],"capabilities":[159],"computational":[161],"characteristics,":[162],"show":[164],"integration":[166],"potent":[168],"machine":[169],"learning":[170],"such":[172],"as":[173],"Large":[174],"Language":[175],"Models":[176],"(LLM)":[177],"Transformer-based":[179],"vision":[180],"models.":[181],"our":[183,196],"experiments":[184],"underpin":[185],"application":[187],"multi-modal":[191],"input":[192],"how":[195],"method":[197],"applies":[198],"many":[200],"scenarios.":[202]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2025-01-07T00:00:00"}