{"id":"https://openalex.org/W7225833594","doi":"https://doi.org/10.48550/arxiv.2611.13672","title":"Efficient control of multi-agent robust MDPs through tensor trees","display_name":"Efficient control of multi-agent robust MDPs through tensor trees","publication_year":2026,"publication_date":"2026-11-10","ids":{"openalex":"https://openalex.org/W7225833594","doi":"https://doi.org/10.48550/arxiv.2611.13672"},"language":"en","primary_location":{"id":"doi:10.48550/arxiv.2611.13672","doi":"https://doi.org/10.48550/arxiv.2611.13672","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2611.13672","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,"listed_in":[],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2611.13672","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5161457147","display_name":"Ruohan Wang","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wang, Ruohan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013980490","display_name":"Giannis Delimpaltadakis","orcid":"https://orcid.org/0000-0002-2651-0629","observed_orcids":["https://orcid.org/0000-0002-2651-0629"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Delimpaltadakis, Giannis","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009660282","display_name":"Luca Laurenti","orcid":"https://orcid.org/0000-0003-1190-6097","observed_orcids":["https://orcid.org/0000-0003-1190-6097"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Laurenti, Luca","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5025184822","display_name":"Sofie Haesaert","orcid":"https://orcid.org/0000-0003-4749-4688","observed_orcids":["https://orcid.org/0000-0003-4749-4688"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Haesaert, Sofie","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9965999722480774,"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.9965999722480774,"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/T10586","display_name":"Robotic Path Planning Algorithms","score":0.0005000000237487257,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.00039999998989515007,"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":[],"concepts":[{"id":"https://openalex.org/C2780522230","wikidata":"https://www.wikidata.org/wiki/Q1140419","display_name":"Ambiguity","level":2,"score":0.6378999948501587},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.6334999799728394},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5626999735832214},{"id":"https://openalex.org/C106189395","wikidata":"https://www.wikidata.org/wiki/Q176789","display_name":"Markov decision process","level":3,"score":0.5392000079154968},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5306000113487244},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.4648999869823456},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.4507000148296356},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4496999979019165},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.4447000026702881},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.43070000410079956},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.4162999987602234},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3621000051498413},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3555000126361847},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.3472000062465668},{"id":"https://openalex.org/C31531917","wikidata":"https://www.wikidata.org/wiki/Q915157","display_name":"Robust control","level":3,"score":0.32989999651908875},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.3215000033378601},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.3163999915122986},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.31200000643730164},{"id":"https://openalex.org/C41550386","wikidata":"https://www.wikidata.org/wiki/Q529909","display_name":"Multi-agent system","level":2,"score":0.2955000102519989},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.28679999709129333},{"id":"https://openalex.org/C191252586","wikidata":"https://www.wikidata.org/wiki/Q1671453","display_name":"Interval arithmetic","level":3,"score":0.2793000042438507},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.26980000734329224},{"id":"https://openalex.org/C138268822","wikidata":"https://www.wikidata.org/wiki/Q1051925","display_name":"Resolution (logic)","level":2,"score":0.266400009393692},{"id":"https://openalex.org/C28901747","wikidata":"https://www.wikidata.org/wiki/Q177571","display_name":"Decision theory","level":2,"score":0.2623000144958496},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.2621000111103058},{"id":"https://openalex.org/C8272713","wikidata":"https://www.wikidata.org/wiki/Q176737","display_name":"Stochastic process","level":2,"score":0.2590000033378601},{"id":"https://openalex.org/C72134830","wikidata":"https://www.wikidata.org/wiki/Q5166524","display_name":"Convexity","level":2,"score":0.25540000200271606}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2611.13672","doi":"https://doi.org/10.48550/arxiv.2611.13672","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2611.13672","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,"listed_in":[],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2611.13672","doi":"https://doi.org/10.48550/arxiv.2611.13672","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2611.13672","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,"listed_in":[],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0,107],"paper":[1],"introduces":[2],"a":[3,86,135,143,174,178],"tensor-based":[4],"framework":[5],"for":[6,58],"controller":[7],"synthesis":[8],"of":[9,75,85],"stochastic":[10],"multi-agent":[11],"systems":[12],"under":[13],"temporal":[14],"logic":[15],"specifications":[16],"that":[17,71,97],"couple":[18],"the":[19,72,76,83,90,99,150,168],"agents,":[20],"such":[21],"as":[22,40,147,149],"one":[23,80],"agent":[24,31],"reaching":[25],"its":[26,34],"goal":[27],"only":[28,50,98],"after":[29],"another":[30],"has":[32],"reached":[33],"own.":[35],"The":[36],"agents":[37],"are":[38,49],"modeled":[39],"robust":[41],"Markov":[42],"decision":[43],"processes":[44],"(RMDPs),":[45],"whose":[46],"transition":[47],"probabilities":[48,92],"known":[51],"to":[52,61,81,104,109,114],"lie":[53],"in":[54],"an":[55],"ambiguity":[56,77,101],"set,":[57],"instance":[59],"due":[60],"abstraction":[62],"errors,":[63],"learned":[64],"models,":[65],"or":[66],"uncertain":[67],"parameters.":[68],"We":[69,117],"show":[70],"decoupled":[73],"nature":[74],"sets":[78,102],"allows":[79],"decompose":[82],"computation":[84],"lower":[87,144],"bound":[88,145],"on":[89,125],"satisfaction":[91],"into":[93],"per-agent":[94,100],"factors,":[95],"so":[96],"need":[103],"be":[105],"stored.":[106],"leads":[108],"improved":[110],"memory":[111,166],"complexity":[112],"compared":[113],"monolithic":[115],"approaches.":[116],"compare":[118],"our":[119,140],"approach":[120,141,154],"with":[121,130,155,176],"state-of-the-art":[122],"approaches":[123],"based":[124,153],"approximate":[126],"simulation":[127,151],"relations":[128],"and":[129,160],"interval":[131,169],"MDP":[132,170],"abstractions.":[133],"On":[134],"four-agent":[136],"ordered":[137],"reach-avoid":[138],"benchmark,":[139],"certifies":[142],"twice":[146],"high":[148],"relation-":[152],"20":[156],"times":[157,164,180],"less":[158,165],"memory,":[159],"needs":[161],"about":[162,177],"200":[163],"than":[167],"abstraction,":[171],"even":[172],"at":[173],"resolution":[175],"million":[179],"more":[181],"joint":[182],"cells.":[183]},"counts_by_year":[],"updated_date":"2026-11-12T12:28:57.059296","created_date":"2026-11-12T00:00:00"}