{"id":"https://openalex.org/W3088952667","doi":"https://doi.org/10.1609/aaai.v35i13.17401","title":"Robust Finite-State Controllers for Uncertain POMDPs","display_name":"Robust Finite-State Controllers for Uncertain POMDPs","publication_year":2021,"publication_date":"2021-05-18","ids":{"openalex":"https://openalex.org/W3088952667","doi":"https://doi.org/10.1609/aaai.v35i13.17401","mag":"3088952667"},"language":"en","primary_location":{"id":"doi:10.1609/aaai.v35i13.17401","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v35i13.17401","pdf_url":"https://ojs.aaai.org/index.php/AAAI/article/download/17401/17208","source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://ojs.aaai.org/index.php/AAAI/article/download/17401/17208","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5050465036","display_name":"Murat Cubuktepe","orcid":"https://orcid.org/0000-0002-0409-2403"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Murat Cubuktepe","raw_affiliation_strings":["The University of Texas at Austin"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The University of Texas at Austin","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012669709","display_name":"Nils Jansen","orcid":"https://orcid.org/0000-0003-1318-8973"},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Nils Jansen","raw_affiliation_strings":["Radboud University Nijmegen"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Radboud University Nijmegen","institution_ids":["https://openalex.org/I145872427"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018941708","display_name":"Sebastian Junges","orcid":"https://orcid.org/0000-0003-0978-8466"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sebastian Junges","raw_affiliation_strings":["University of California, Berkeley"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California, Berkeley","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069502312","display_name":"Ahmadreza Marandi","orcid":"https://orcid.org/0000-0003-4205-1167"},"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":"Ahmadreza Marandi","raw_affiliation_strings":["Eindhoven University of Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060649428","display_name":"Marnix Suilen","orcid":null},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Marnix Suilen","raw_affiliation_strings":["Radboud University Nijmegen"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Radboud University Nijmegen","institution_ids":["https://openalex.org/I145872427"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5068441112","display_name":"Ufuk Topcu","orcid":"https://orcid.org/0000-0003-0819-9985"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ufuk Topcu","raw_affiliation_strings":["University of Texas at Austin"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Texas at Austin","institution_ids":["https://openalex.org/I86519309"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":22,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"35","issue":"13","first_page":"11792","last_page":"11800"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9955000281333923,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9955000281333923,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10876","display_name":"Fault Detection and Control Systems","score":0.9886000156402588,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9811999797821045,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/uncountable-set","display_name":"Uncountable set","score":0.7096406817436218},{"id":"https://openalex.org/keywords/markov-decision-process","display_name":"Markov decision process","score":0.6614973545074463},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.6577733159065247},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6340351700782776},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.623034656047821},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5123294591903687},{"id":"https://openalex.org/keywords/observable","display_name":"Observable","score":0.4715718626976013},{"id":"https://openalex.org/keywords/partially-observable-markov-decision-process","display_name":"Partially observable Markov decision process","score":0.4710614085197449},{"id":"https://openalex.org/keywords/finite-set","display_name":"Finite set","score":0.469928115606308},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.46052393317222595},{"id":"https://openalex.org/keywords/dual","display_name":"Dual (grammatical number)","score":0.44697344303131104},{"id":"https://openalex.org/keywords/optimization-problem","display_name":"Optimization problem","score":0.42479318380355835},{"id":"https://openalex.org/keywords/markov-process","display_name":"Markov process","score":0.3258745074272156},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2925060987472534},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.22966626286506653},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1288973093032837}],"concepts":[{"id":"https://openalex.org/C142399903","wikidata":"https://www.wikidata.org/wiki/Q1128796","display_name":"Uncountable set","level":3,"score":0.7096406817436218},{"id":"https://openalex.org/C106189395","wikidata":"https://www.wikidata.org/wiki/Q176789","display_name":"Markov decision process","level":3,"score":0.6614973545074463},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.6577733159065247},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6340351700782776},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.623034656047821},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5123294591903687},{"id":"https://openalex.org/C32848918","wikidata":"https://www.wikidata.org/wiki/Q845789","display_name":"Observable","level":2,"score":0.4715718626976013},{"id":"https://openalex.org/C17098449","wikidata":"https://www.wikidata.org/wiki/Q176814","display_name":"Partially observable Markov decision process","level":4,"score":0.4710614085197449},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.469928115606308},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.46052393317222595},{"id":"https://openalex.org/C2780980858","wikidata":"https://www.wikidata.org/wiki/Q110022","display_name":"Dual (grammatical number)","level":2,"score":0.44697344303131104},{"id":"https://openalex.org/C137836250","wikidata":"https://www.wikidata.org/wiki/Q984063","display_name":"Optimization problem","level":2,"score":0.42479318380355835},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.3258745074272156},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2925060987472534},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.22966626286506653},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1288973093032837},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C110729354","wikidata":"https://www.wikidata.org/wiki/Q185478","display_name":"Countable set","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C124952713","wikidata":"https://www.wikidata.org/wiki/Q8242","display_name":"Literature","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1609/aaai.v35i13.17401","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v35i13.17401","pdf_url":"https://ojs.aaai.org/index.php/AAAI/article/download/17401/17208","source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"},{"id":"pmh:oai:ojs.aaai.org:article/17401","is_oa":false,"landing_page_url":"https://ojs.aaai.org/index.php/AAAI/article/view/17401","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2159-5399","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:repository.ubn.ru.nl:2066/236602","is_oa":false,"landing_page_url":"https://repository.ubn.ru.nl/handle/2066/236602","pdf_url":null,"source":{"id":"https://openalex.org/S4306401067","display_name":"Radboud Repository (Radboud University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145872427","host_organization_name":"Radboud University Nijmegen","host_organization_lineage":["https://openalex.org/I145872427"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Yang, Q. (ed.), AAAI-21: Proceedings, Thirty-Fifth AAAI Conference on Artificial Intelligence, pp. 11792-11800","raw_type":"Article in monograph or in proceedings"}],"best_oa_location":{"id":"doi:10.1609/aaai.v35i13.17401","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v35i13.17401","pdf_url":"https://ojs.aaai.org/index.php/AAAI/article/download/17401/17208","source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.800000011920929}],"awards":[{"id":"https://openalex.org/G1139077693","display_name":"CPS: Breakthrough: Control Improvisation for Cyber-Physical Systems","funder_award_id":"1646208","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2039356335","display_name":null,"funder_award_id":"1160.18.238","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G4183124897","display_name":"CPS: Frontier: Collaborative Research: VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems","funder_award_id":"1545126","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4371345817","display_name":"PrimaVera: Predictive maintenance for Very effective asset management","funder_award_id":"NWA.1160.18.238","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G6312076548","display_name":null,"funder_award_id":"80NSSC19K0209","funder_id":"https://openalex.org/F4320306101","funder_display_name":"National Aeronautics and Space Administration"},{"id":"https://openalex.org/G641195207","display_name":"Provably Correct Policies for Uncertain Partially Observable Markov Decision Processes","funder_award_id":"OCENW.KLEIN.187","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G7377845663","display_name":null,"funder_award_id":"FA9550-19-1-0169","funder_id":"https://openalex.org/F4320338294","funder_display_name":"Air Force Research Laboratory"},{"id":"https://openalex.org/G8289759875","display_name":null,"funder_award_id":"FA9550","funder_id":"https://openalex.org/F4320338294","funder_display_name":"Air Force Research Laboratory"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320306101","display_name":"National Aeronautics and Space Administration","ror":"https://ror.org/027ka1x80"},{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"},{"id":"https://openalex.org/F4320322037","display_name":"Nuclear Safety and Security Commission","ror":"https://ror.org/05qk3ge34"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320338294","display_name":"Air Force Research Laboratory","ror":"https://ror.org/02e2egq70"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3088952667.pdf","grobid_xml":"https://content.openalex.org/works/W3088952667.grobid-xml"},"referenced_works_count":42,"referenced_works":["https://openalex.org/W288011047","https://openalex.org/W602128623","https://openalex.org/W1504946885","https://openalex.org/W1563965851","https://openalex.org/W1701684472","https://openalex.org/W1965878388","https://openalex.org/W1988217924","https://openalex.org/W1995856582","https://openalex.org/W2009923109","https://openalex.org/W2019799927","https://openalex.org/W2080108722","https://openalex.org/W2087992130","https://openalex.org/W2092870022","https://openalex.org/W2098597080","https://openalex.org/W2105235982","https://openalex.org/W2131116400","https://openalex.org/W2155153696","https://openalex.org/W2157807654","https://openalex.org/W2167805536","https://openalex.org/W2168359464","https://openalex.org/W2334782222","https://openalex.org/W2396270358","https://openalex.org/W2545546008","https://openalex.org/W2593267253","https://openalex.org/W2603471005","https://openalex.org/W2716905450","https://openalex.org/W2796944097","https://openalex.org/W2809011908","https://openalex.org/W2823704907","https://openalex.org/W2912085563","https://openalex.org/W2950493481","https://openalex.org/W2962946825","https://openalex.org/W2997688648","https://openalex.org/W3003016960","https://openalex.org/W3035730325","https://openalex.org/W4229907990","https://openalex.org/W4300395467","https://openalex.org/W6639667798","https://openalex.org/W6652988623","https://openalex.org/W6675636157","https://openalex.org/W6682440708","https://openalex.org/W6703110798"],"related_works":["https://openalex.org/W2999848267","https://openalex.org/W2096013579","https://openalex.org/W1589140671","https://openalex.org/W1760611253","https://openalex.org/W52153049","https://openalex.org/W2951545791","https://openalex.org/W1515117609","https://openalex.org/W2294884454","https://openalex.org/W4323315247","https://openalex.org/W131709709"],"abstract_inverted_index":{"Uncertain":[0],"partially":[1],"observable":[2],"Markov":[3],"decision":[4],"processes":[5],"(uPOMDPs)":[6],"allow":[7],"the":[8,88,127,138,156],"probabilistic":[9],"transition":[10],"and":[11,71,124,169],"observation":[12],"functions":[13],"of":[14,34,43,158,164],"standard":[15],"POMDPs":[16],"to":[17,19,27,50,79,132,137],"belong":[18],"a":[20,41,92,106,170],"so-called":[21],"uncertainty":[22],"set.":[23],"Such":[24],"uncertainty,":[25,30],"referred":[26],"as":[28,91],"epistemic":[29],"captures":[31],"uncountable":[32],"sets":[33],"probability":[35],"distributions":[36],"caused":[37],"by,":[38],"for":[39,54],"instance,":[40],"lack":[42],"data":[44],"available.":[45],"We":[46,74,86,119,154],"develop":[47],"an":[48,76,165],"algorithm":[49,160],"compute":[51],"finite-memory":[52],"policies":[53,68],"uPOMDPs":[55],"that":[56,109],"robustly":[57],"satisfy":[58],"specifications":[59],"against":[60],"any":[61],"admissible":[62],"distribution.":[63],"In":[64],"general,":[65],"computing":[66],"such":[67],"is":[69,110,145],"theoretically":[70],"practically":[72],"intractable.":[73],"provide":[75],"efficient":[77],"solution":[78],"this":[80,121],"problem":[81,90,95,108,123,143],"in":[82],"four":[83],"steps.":[84],"(1)":[85],"state":[87],"underlying":[89],"nonconvex":[93,112],"optimization":[94],"with":[96],"infinitely":[97],"many":[98,116],"constraints.":[99,117],"(2)":[100],"A":[101],"dedicated":[102],"dualization":[103],"scheme":[104],"yields":[105],"dual":[107,122],"still":[111],"but":[113],"has":[114],"finitely":[115],"(3)":[118],"linearize":[120],"(4)":[125],"solve":[126],"resulting":[128,142,150],"finite":[129],"linear":[130],"program":[131],"obtain":[133],"locally":[134],"optimal":[135],"solutions":[136],"original":[139],"problem.":[140],"The":[141],"formulation":[144],"exponentially":[146],"smaller":[147],"than":[148],"those":[149],"from":[151],"existing":[152],"methods.":[153],"demonstrate":[155],"applicability":[157],"our":[159],"using":[161],"large":[162],"instances":[163],"aircraft":[166],"collision-avoidance":[167],"scenario":[168],"novel":[171],"spacecraft":[172],"motion":[173],"planning":[174],"case":[175],"study.":[176]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":8},{"year":2022,"cited_by_count":6},{"year":2021,"cited_by_count":2}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}