{"id":"https://openalex.org/W7166888352","doi":"https://doi.org/10.48550/arxiv.2606.31339","title":"Verification-Gated Agentic Mission-State Governance for Intelligent Industrial Multi-Robot Systems","display_name":"Verification-Gated Agentic Mission-State Governance for Intelligent Industrial Multi-Robot Systems","publication_year":2026,"publication_date":"2026-06-30","ids":{"openalex":"https://openalex.org/W7166888352","doi":"https://doi.org/10.48550/arxiv.2606.31339"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.31339","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.31339","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.2606.31339","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5046053505","display_name":"Guoqin Tang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tang, Guoqin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5139812447","display_name":"Qingxuan Jia","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jia, Qingxuan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5139757500","display_name":"Yichen Tan","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tan, Yichen","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5125993570","display_name":"Zeyuan Huang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Huang, Zeyuan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082054193","display_name":"Ning Ji","orcid":"https://orcid.org/0000-0001-7702-1537"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ji, Ning","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5139748516","display_name":"Gang Chen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chen, Gang","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/T10763","display_name":"Digital Transformation in Industry","score":0.18790000677108765,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10763","display_name":"Digital Transformation in Industry","score":0.18790000677108765,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing 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/T12784","display_name":"Modular Robots and Swarm Intelligence","score":0.18719999492168427,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical 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/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.12880000472068787,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing 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.6014000177383423},{"id":"https://openalex.org/keywords/blackboard","display_name":"Blackboard (design pattern)","score":0.5954999923706055},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5947999954223633},{"id":"https://openalex.org/keywords/factory","display_name":"Factory (object-oriented programming)","score":0.5188999772071838},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.48190000653266907},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.4754999876022339},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.46299999952316284},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.40689998865127563},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.38499999046325684}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6385999917984009},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.6014000177383423},{"id":"https://openalex.org/C2778308757","wikidata":"https://www.wikidata.org/wiki/Q23601418","display_name":"Blackboard (design pattern)","level":2,"score":0.5954999923706055},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5947999954223633},{"id":"https://openalex.org/C40149104","wikidata":"https://www.wikidata.org/wiki/Q5620977","display_name":"Factory (object-oriented programming)","level":2,"score":0.5188999772071838},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.48190000653266907},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.4754999876022339},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.46299999952316284},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.40689998865127563},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3853999972343445},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.38499999046325684},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.375900000333786},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.35749998688697815},{"id":"https://openalex.org/C174839445","wikidata":"https://www.wikidata.org/wiki/Q1134386","display_name":"Lock (firearm)","level":2,"score":0.3353999853134155},{"id":"https://openalex.org/C2779227376","wikidata":"https://www.wikidata.org/wiki/Q6505497","display_name":"Layer (electronics)","level":2,"score":0.3098999857902527},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.3034999966621399},{"id":"https://openalex.org/C39389867","wikidata":"https://www.wikidata.org/wiki/Q380767","display_name":"Corporate governance","level":2,"score":0.30320000648498535},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.2890999913215637},{"id":"https://openalex.org/C2776126113","wikidata":"https://www.wikidata.org/wiki/Q1128980","display_name":"Industrial robot","level":3,"score":0.28060001134872437},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.2727000117301941},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.26980000734329224},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.26809999346733093},{"id":"https://openalex.org/C175154964","wikidata":"https://www.wikidata.org/wiki/Q380077","display_name":"Task analysis","level":3,"score":0.26570001244544983},{"id":"https://openalex.org/C157273737","wikidata":"https://www.wikidata.org/wiki/Q1753023","display_name":"Blackboard system","level":3,"score":0.26489999890327454},{"id":"https://openalex.org/C2780609101","wikidata":"https://www.wikidata.org/wiki/Q17156588","display_name":"Resource management (computing)","level":2,"score":0.26409998536109924}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.31339","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.31339","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.2606.31339","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.31339","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":{"Agentic":[0],"artificial":[1],"intelligence":[2],"is":[3],"increasingly":[4],"used":[5],"to":[6],"decompose":[7],"industrial":[8,31,57],"tasks,":[9],"propose":[10],"robot":[11,87],"actions,":[12],"and":[13,76,79,96,116,123,148,167,175,189],"adapt":[14],"execution":[15,85,105,215],"plans":[16],"in":[17,155],"dynamic":[18],"cyber-physical":[19],"environments.":[20],"However,":[21],"autonomous":[22],"proposal":[23,112],"generation":[24],"alone":[25],"does":[26],"not":[27],"guarantee":[28],"that":[29],"multi-robot":[30,58,159],"systems":[32],"preserve":[33],"task":[34,69],"dependencies,":[35],"resource":[36,89],"ownership,":[37],"safety":[38],"holds,":[39],"or":[40,132],"repair":[41],"boundaries":[42],"during":[43],"long-horizon":[44],"execution.":[45],"This":[46],"paper":[47],"introduces":[48],"a":[49,80,103,202],"verification-gated":[50],"agentic":[51,133,199],"mission-state":[52,177,208],"governance":[53],"framework":[54,61,154],"for":[55,71,83,111],"intelligent":[56],"systems.":[59],"The":[60,170,196],"maintains":[62],"two":[63],"synchronized":[64],"state":[65,143],"objects:":[66],"an":[67,156,213],"evolving":[68],"forest":[70],"persistent":[72],"hierarchy,":[73],"delayed":[74],"grounding,":[75],"repairable":[77],"substructures;":[78],"governed":[81,205],"blackboard":[82],"online":[84],"state,":[86],"traces,":[88],"locks,":[90],"world":[91],"beliefs,":[92],"proposals,":[93],"verification":[94,147,209],"records,":[95],"scene-temporary":[97],"constraints.":[98],"From":[99],"each":[100],"forest--blackboard":[101],"snapshot,":[102],"derived":[104],"coupling":[106],"topology":[107],"exposes":[108],"cross-branch":[109],"dependencies":[110],"verification,":[113],"parallel-commit":[114],"eligibility,":[115],"bounded":[117],"repair.":[118],"Candidate":[119],"assignments,":[120,186],"repairs,":[121],"deferrals,":[122],"constraint":[124],"updates":[125],"may":[126],"be":[127],"generated":[128],"by":[129,206],"heuristic,":[130],"optimization,":[131],"reasoning":[134],"modules,":[135],"but":[136],"they":[137],"can":[138],"update":[139],"the":[140,153],"committed":[141],"mission":[142,194],"only":[144],"after":[145],"deterministic":[146],"atomic":[149],"commit.":[150],"We":[151],"evaluate":[152],"indoor":[157],"factory":[158],"scenario,":[160],"30-seed":[161],"remote-construction":[162],"stress":[163],"benchmarks,":[164],"structural":[165],"ablations,":[166],"scalability":[168],"probes.":[169],"results":[171],"show":[172],"improved":[173],"verified":[174],"safety-audited":[176],"progress":[178],"with":[179],"fewer":[180],"invalid":[181],"commitments,":[182],"lock":[183],"conflicts,":[184],"duplicate":[185],"abandoned":[187],"nodes,":[188],"disruptive":[190],"repairs":[191],"under":[192],"modeled":[193],"predicates.":[195],"study":[197],"positions":[198],"AI":[200],"as":[201,212],"proposal-generating":[203],"layer":[204],"inspectable":[207],"rather":[210],"than":[211],"unchecked":[214],"authority.":[216]},"counts_by_year":[],"updated_date":"2026-07-02T06:18:51.028212","created_date":"2026-07-02T00:00:00"}