{"id":"https://openalex.org/W7141095109","doi":"https://doi.org/10.48550/arxiv.2603.25395","title":"UMBRELLA: Uncertainty-aware Multi-robot Reactive Coordination under Dynamic Temporal Logic Tasks","display_name":"UMBRELLA: Uncertainty-aware Multi-robot Reactive Coordination under Dynamic Temporal Logic Tasks","publication_year":2026,"publication_date":"2026-03-26","ids":{"openalex":"https://openalex.org/W7141095109","doi":"https://doi.org/10.48550/arxiv.2603.25395"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2603.25395","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.25395","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":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2603.25395","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5130747118","display_name":"Qisheng Zhao","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhao, Qisheng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5130797326","display_name":"Meng Guo","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Guo, Meng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022812988","display_name":"Hengxuan Du","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Du, Hengxuan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5130791241","display_name":"Lars Lindemann","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lindemann, Lars","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5130731864","display_name":"Zhongkui Li","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Li, Zhongkui","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/T10586","display_name":"Robotic Path Planning Algorithms","score":0.1889999955892563,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T10586","display_name":"Robotic Path Planning Algorithms","score":0.1889999955892563,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T10462","display_name":"Reinforcement Learning in Robotics","score":0.13519999384880066,"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/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.09000000357627869,"subfield":{"id":"https://openalex.org/subfields/2203","display_name":"Automotive Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.6258999705314636},{"id":"https://openalex.org/keywords/synchronization","display_name":"Synchronization (alternating current)","score":0.5515999794006348},{"id":"https://openalex.org/keywords/metric","display_name":"Metric (unit)","score":0.5202000141143799},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.5163000226020813},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.4871000051498413},{"id":"https://openalex.org/keywords/motion","display_name":"Motion (physics)","score":0.428600013256073},{"id":"https://openalex.org/keywords/variance","display_name":"Variance (accounting)","score":0.42829999327659607},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.3815999925136566}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7319999933242798},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.6258999705314636},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.5515999794006348},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.5202000141143799},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.5163000226020813},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.4871000051498413},{"id":"https://openalex.org/C104114177","wikidata":"https://www.wikidata.org/wiki/Q79782","display_name":"Motion (physics)","level":2,"score":0.428600013256073},{"id":"https://openalex.org/C196083921","wikidata":"https://www.wikidata.org/wiki/Q7915758","display_name":"Variance (accounting)","level":2,"score":0.42829999327659607},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.3815999925136566},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3653999865055084},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3091999888420105},{"id":"https://openalex.org/C81074085","wikidata":"https://www.wikidata.org/wiki/Q366872","display_name":"Motion planning","level":3,"score":0.304500013589859},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.29670000076293945},{"id":"https://openalex.org/C175154964","wikidata":"https://www.wikidata.org/wiki/Q380077","display_name":"Task analysis","level":3,"score":0.29580000042915344},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.29420000314712524},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.28369998931884766},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.28110000491142273},{"id":"https://openalex.org/C19499675","wikidata":"https://www.wikidata.org/wiki/Q232207","display_name":"Monte Carlo method","level":2,"score":0.2797999978065491},{"id":"https://openalex.org/C198008173","wikidata":"https://www.wikidata.org/wiki/Q1040040","display_name":"Computation tree logic","level":3,"score":0.2770000100135803},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.27480000257492065},{"id":"https://openalex.org/C84525736","wikidata":"https://www.wikidata.org/wiki/Q831366","display_name":"Decision tree","level":2,"score":0.27300000190734863},{"id":"https://openalex.org/C36464697","wikidata":"https://www.wikidata.org/wiki/Q451553","display_name":"Visualization","level":2,"score":0.2694999873638153},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2639000117778778},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.2572000026702881},{"id":"https://openalex.org/C55416958","wikidata":"https://www.wikidata.org/wiki/Q6206757","display_name":"Job shop scheduling","level":3,"score":0.25600001215934753}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2603.25395","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.25395","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":"doi:10.48550/arxiv.2603.25395","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.25395","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":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"score":0.4490281343460083,"display_name":"Life in Land","id":"https://metadata.un.org/sdg/15"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Multi-robot":[0],"systems":[1,40],"can":[2],"be":[3],"extremely":[4],"efficient":[5],"for":[6,41,151],"accomplishing":[7],"team-wise":[8],"tasks":[9,43,116,141,154],"by":[10,67,175],"acting":[11],"concurrently":[12],"and":[13,46,89,96,132,136,145,161,172,177],"collaboratively.":[14],"However,":[15],"most":[16],"existing":[17],"methods":[18],"either":[19],"assume":[20],"static":[21,181],"task":[22,130],"features":[23],"or":[24],"simply":[25],"replan":[26],"when":[27],"environmental":[28],"changes":[29],"occur.":[30],"This":[31],"paper":[32],"addresses":[33],"the":[34,52,63,77,98,105,112,125,140,152,169],"challenging":[35],"problem":[36],"of":[37,111],"coordinating":[38],"multi-robot":[39],"collaborative":[42,153],"involving":[44],"dynamic":[45],"moving":[47],"targets.":[48],"We":[49],"explicitly":[50],"model":[51],"uncertainty":[53],"in":[54,167],"target":[55],"motion":[56,133],"prediction":[57],"via":[58],"Conformal":[59],"Prediction(CP),":[60],"while":[61],"respecting":[62],"spatial-temporal":[64],"constraints":[65,138],"specified":[66],"Linear":[68],"Temporal":[69],"Logic":[70],"(LTL).":[71],"The":[72,100],"proposed":[73],"framework":[74],"(UMBRELLA)":[75],"combines":[76],"Monte":[78],"Carlo":[79],"Tree":[80],"Search":[81],"(MCTS)":[82],"over":[83],"partial":[84,147],"plans":[85],"with":[86,180],"uncertainty-aware":[87],"rollouts,":[88],"introduces":[90],"a":[91,119],"CP-based":[92],"metric":[93],"to":[94,103],"guide":[95],"accelerate":[97],"search.":[99],"objective":[101],"is":[102,149],"minimize":[104],"Conditional":[106],"Value":[107],"at":[108],"Risk":[109],"(CVaR)":[110],"average":[113,170],"makespan.":[114],"For":[115],"released":[117],"online,":[118],"receding-horizon":[120],"planning":[121],"scheme":[122],"dynamically":[123],"adjusts":[124],"assignments":[126],"based":[127],"on":[128],"updated":[129],"specifications":[131],"predictions.":[134],"Spatial":[135],"temporal":[137],"among":[139],"are":[142],"always":[143],"ensured,":[144],"only":[146],"synchronization":[148],"required":[150],"during":[155],"online":[156],"execution.":[157],"Extensive":[158],"large-scale":[159],"simulations":[160],"hardware":[162],"experiments":[163],"demonstrate":[164],"substantial":[165],"reductions":[166],"both":[168],"makespan":[171],"its":[173],"variance":[174],"23%":[176],"71%,":[178],"compared":[179],"baselines.":[182]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-03-28T00:00:00"}