{"id":"https://openalex.org/W7160860881","doi":"https://doi.org/10.48550/arxiv.2605.07877","title":"Melding LLM and temporal logic for reliable human-swarm collaboration in complex scenarios","display_name":"Melding LLM and temporal logic for reliable human-swarm collaboration in complex scenarios","publication_year":2026,"publication_date":"2026-05-08","ids":{"openalex":"https://openalex.org/W7160860881","doi":"https://doi.org/10.48550/arxiv.2605.07877"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.07877","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.07877","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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.2605.07877","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5135847984","display_name":"Junfeng Chen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chen, Junfeng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052051594","display_name":"Yuxiao Zhu","orcid":"https://orcid.org/0009-0000-8971-5966"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhu, Yuxiao","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5120286581","display_name":"An Zhuo","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhuo, An","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5135862713","display_name":"Xintong Zhang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhang, Xintong","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5135842935","display_name":"Shuo Zhang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhang, Shuo","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5135840386","display_name":"Guanghui Wen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wen, Guanghui","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5135828033","display_name":"Xiwang Dong","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dong, Xiwang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5135896176","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":"last","author":{"id":"https://openalex.org/A5135841128","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.15289999544620514,"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.15289999544620514,"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/T10709","display_name":"Social Robot Interaction and HRI","score":0.10599999874830246,"subfield":{"id":"https://openalex.org/subfields/3207","display_name":"Social Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.07689999788999557,"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/task","display_name":"Task (project management)","score":0.6646999716758728},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6306999921798706},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.5694000124931335},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.4839000105857849},{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.4729999899864197},{"id":"https://openalex.org/keywords/operator","display_name":"Operator (biology)","score":0.445499986410141},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.4431999921798706},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.41359999775886536},{"id":"https://openalex.org/keywords/verifiable-secret-sharing","display_name":"Verifiable secret sharing","score":0.39739999175071716}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6654000282287598},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.6646999716758728},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6306999921798706},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.5694000124931335},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.48980000615119934},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.4839000105857849},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.4729999899864197},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.445499986410141},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.4431999921798706},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.41359999775886536},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.39739999175071716},{"id":"https://openalex.org/C114073186","wikidata":"https://www.wikidata.org/wiki/Q2631895","display_name":"Automated planning and scheduling","level":2,"score":0.3790000081062317},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.36880001425743103},{"id":"https://openalex.org/C158154518","wikidata":"https://www.wikidata.org/wiki/Q7310970","display_name":"Relevance (law)","level":2,"score":0.35989999771118164},{"id":"https://openalex.org/C41065033","wikidata":"https://www.wikidata.org/wiki/Q2825412","display_name":"Adversary","level":2,"score":0.3538999855518341},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3424000144004822},{"id":"https://openalex.org/C181335050","wikidata":"https://www.wikidata.org/wiki/Q14915018","display_name":"Swarm behaviour","level":2,"score":0.33899998664855957},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.33820000290870667},{"id":"https://openalex.org/C2776505523","wikidata":"https://www.wikidata.org/wiki/Q4785468","display_name":"Plan (archaeology)","level":2,"score":0.33820000290870667},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.326200008392334},{"id":"https://openalex.org/C175154964","wikidata":"https://www.wikidata.org/wiki/Q380077","display_name":"Task analysis","level":3,"score":0.30059999227523804},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.2980000078678131},{"id":"https://openalex.org/C34413123","wikidata":"https://www.wikidata.org/wiki/Q170978","display_name":"Robotics","level":3,"score":0.27309998869895935},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.2680000066757202},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.2587999999523163},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.2581000030040741},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.2567000091075897}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.07877","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.07877","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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.2605.07877","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.07877","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Robot":[0],"swarms":[1],"promise":[2],"scalable":[3,213],"assistance":[4],"in":[5,89,152,221],"complex":[6],"and":[7,27,54,60,84,117,124,136,149,186,203,212,217],"hazardous":[8],"environments.":[9],"Task":[10],"planning":[11,47,70,108],"lies":[12],"at":[13],"the":[14,20,153,163],"core":[15],"of":[16],"human-swarm":[17,101,219],"collaboration,":[18],"translating":[19],"operator's":[21],"intent":[22],"into":[23],"coordinated":[24],"swarm":[25,165],"actions":[26],"helping":[28],"determine":[29],"when":[30],"validation":[31],"or":[32],"intervention":[33],"is":[34],"required":[35],"during":[36],"execution.":[37],"In":[38],"long-horizon":[39,100],"missions":[40],"under":[41],"dynamic":[42,222],"scenarios,":[43],"however,":[44],"reliable":[45,216],"task":[46,82,107,126,129],"becomes":[48],"difficult":[49],"to":[50,80,166,172,182,200],"maintain:":[51],"emerging":[52],"events":[53],"changing":[55],"conditions":[56],"demand":[57],"continual":[58],"adaptation,":[59],"sustained":[61],"operator":[62,180],"oversight":[63],"imposes":[64],"substantial":[65],"cognitive":[66],"burden.":[67],"Existing":[68],"LLM-based":[69],"tools":[71],"can":[72],"support":[73,209],"plan":[74],"generation,":[75],"yet":[76],"they":[77],"remain":[78,150],"susceptible":[79],"invalid":[81],"orderings":[83,127],"infeasible":[85],"robot":[86],"actions,":[87],"resulting":[88],"frequent":[90],"manual":[91],"adjustment.":[92],"Here":[93],"we":[94],"introduce":[95],"a":[96,190,210],"neuro-symbolic":[97],"framework":[98],"for":[99,215],"collaboration":[102,220],"that":[103,145],"tightly":[104],"melds":[105],"verifiable":[106],"with":[109],"context-grounded":[110],"LLM":[111],"reasoning.":[112],"We":[113],"formalize":[114],"mission":[115,147],"goals":[116],"operational":[118],"rules":[119,148],"as":[120,128],"temporal":[121],"logic":[122],"formulas":[123],"admissible":[125],"automata.":[130],"Conditioned":[131],"on":[132,189],"these":[133,207],"formal":[134,211],"constraints":[135],"live":[137],"perceptual":[138],"context,":[139],"LLMs":[140],"generate":[141],"executable":[142],"subtask":[143],"sequences":[144],"satisfy":[146],"grounded":[151],"current":[154],"scene.":[155],"An":[156,174],"uncertainty-aware":[157],"scheduler":[158],"then":[159],"assigns":[160],"subtasks":[161],"across":[162],"heterogeneous":[164,191],"maximize":[167],"parallelisms":[168],"while":[169,197],"remaining":[170,198],"resilient":[171],"disruptions.":[173],"event-triggered":[175],"interaction":[176],"protocol":[177],"further":[178],"limits":[179],"involvement":[181],"sparse,":[183],"high-level":[184],"confirmation":[185],"guidance.":[187],"Deployment":[188],"robotic":[192],"fleet":[193],"yields":[194],"similar":[195],"results":[196,208],"robust":[199],"hardware-specific":[201],"actuation":[202],"communication":[204],"uncertainties.":[205],"Together,":[206],"paradigm":[214],"low-overhead":[218],"environments":[223]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-05-12T00:00:00"}