{"id":"https://openalex.org/W4411142814","doi":"https://doi.org/10.1109/tac.2025.3578298","title":"SDP Synthesis of Distributionally Robust Backward Reachable Trees for Probabilistic Planning","display_name":"SDP Synthesis of Distributionally Robust Backward Reachable Trees for Probabilistic Planning","publication_year":2025,"publication_date":"2025-06-09","ids":{"openalex":"https://openalex.org/W4411142814","doi":"https://doi.org/10.1109/tac.2025.3578298"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2025.3578298","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2025.3578298","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"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 Automatic Control","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5070515384","display_name":"N. Aggarwal","orcid":null},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]},{"id":"https://openalex.org/I4210143601","display_name":"Decision Systems (United States)","ror":"https://ror.org/0434dpa13","country_code":"US","type":"company","lineage":["https://openalex.org/I4210143601"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Naman Aggarwal","raw_affiliation_strings":["Laboratory for Information and Decision Systems, Massachusetts Institute of Technology, Cambridge, MA, USA"],"affiliations":[{"raw_affiliation_string":"Laboratory for Information and Decision Systems, Massachusetts Institute of Technology, Cambridge, MA, USA","institution_ids":["https://openalex.org/I4210143601","https://openalex.org/I63966007"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5011665886","display_name":"Jonathan P. How","orcid":"https://orcid.org/0000-0001-8576-1930"},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]},{"id":"https://openalex.org/I4210143601","display_name":"Decision Systems (United States)","ror":"https://ror.org/0434dpa13","country_code":"US","type":"company","lineage":["https://openalex.org/I4210143601"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jonathan P. How","raw_affiliation_strings":["Laboratory for Information and Decision Systems, Massachusetts Institute of Technology, Cambridge, MA, USA"],"affiliations":[{"raw_affiliation_string":"Laboratory for Information and Decision Systems, Massachusetts Institute of Technology, Cambridge, MA, USA","institution_ids":["https://openalex.org/I4210143601","https://openalex.org/I63966007"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5070515384"],"corresponding_institution_ids":["https://openalex.org/I4210143601","https://openalex.org/I63966007"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.06897945,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"70","issue":"12","first_page":"7891","last_page":"7906"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9954000115394592,"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"}},"topics":[{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9954000115394592,"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/T10142","display_name":"Formal Methods in Verification","score":0.9749000072479248,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.964900016784668,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/probabilistic-logic","display_name":"Probabilistic logic","score":0.6809325218200684},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.5797164440155029},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5399724245071411},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.49070584774017334},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3411616086959839},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2079983353614807}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6809325218200684},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.5797164440155029},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5399724245071411},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.49070584774017334},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3411616086959839},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2079983353614807},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tac.2025.3578298","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2025.3578298","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"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 Automatic Control","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/13","score":0.4399999976158142,"display_name":"Climate action"},{"id":"https://metadata.un.org/sdg/11","score":0.4099999964237213,"display_name":"Sustainable cities and communities"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W1855555568","https://openalex.org/W1968355947","https://openalex.org/W2095471868","https://openalex.org/W2100538121","https://openalex.org/W2128990851","https://openalex.org/W2140214428","https://openalex.org/W2156168813","https://openalex.org/W2168992242","https://openalex.org/W2565789593","https://openalex.org/W2582119505","https://openalex.org/W2962822210","https://openalex.org/W2964076623","https://openalex.org/W3186992617","https://openalex.org/W3209358401","https://openalex.org/W3212903590","https://openalex.org/W3217581017","https://openalex.org/W4220899958","https://openalex.org/W4229706427","https://openalex.org/W4250589301","https://openalex.org/W4288066793","https://openalex.org/W4323527540","https://openalex.org/W4382365352","https://openalex.org/W4390968841","https://openalex.org/W4391022113","https://openalex.org/W4401386497","https://openalex.org/W4403052611","https://openalex.org/W4407951864"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4391375266","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W2142036596","https://openalex.org/W2072657027"],"abstract_inverted_index":{"The":[0,136],"paper":[1],"presents":[2],"Maximal":[3],"Ellipsoid":[4],"Backward":[5],"Reachable":[6],"Trees":[7],"MAXELLIPSOID":[8],"BRT,":[9],"which":[10],"is":[11,145],"a":[12,39,47,51,67,72,86,113,124,149,154,162,168],"multi-query":[13,81],"algorithm":[14],"for":[15,71,133,167],"planning":[16,35,122,177],"of":[17,41,53,56,74,90,107,110,126,129,138],"dynamic":[18],"systems":[19],"under":[20],"stochastic":[21],"motion":[22],"uncertainty":[23],"and":[24,95,143],"constraints":[25],"on":[26,164,175],"the":[27,96,105,117,127,130],"control":[28,69],"input.":[29],"In":[30],"contrast":[31],"to":[32,49,79,120,153],"existing":[33],"probabilistic":[34,176],"methods":[36],"that":[37,59,104],"grow":[38],"roadmap":[40,52,65,131],"distributions,":[42,111],"our":[43,63,172],"proposed":[44,64,170],"method":[45],"introduces":[46],"framework":[48],"construct":[50,85],"ambiguity":[54,93,141],"sets":[55,94,109,142],"distributions":[57,75],"such":[58],"each":[60],"edge":[61,100],"in":[62,112,171],"provides":[66],"feasible":[68],"sequence":[70],"family":[73],"at":[76,123],"once":[77],"leading":[78],"efficient":[80,121],"planning.":[82],"Specifically,":[83],"we":[84],"backward":[87],"reachable":[88],"tree":[89],"maximal":[91,140],"size":[92,128],"corresponding":[97],"distributionally":[98],"robust":[99],"controllers.":[101],"Experiments":[102],"show":[103],"computation":[106,137],"these":[108,139],"backwards":[114],"fashion":[115],"from":[116],"goal,":[118],"leads":[119],"fraction":[125],"required":[132],"state-of-the-art":[134],"methods.":[135],"edges":[144],"carried":[146],"out":[147],"via":[148],"convex":[150],"semidefinite":[151],"relaxation":[152],"novel":[155],"nonlinear":[156],"program.":[157],"We":[158],"also":[159],"formally":[160],"prove":[161],"theorem":[163],"maximum":[165],"coverage":[166],"technique":[169],"prior":[173],"work":[174],"[2].":[178]},"counts_by_year":[],"updated_date":"2025-12-05T23:21:25.405358","created_date":"2025-10-10T00:00:00"}